| /* | |
| * Copyright (c) 2014-2016, ARM Limited and Contributors. All rights reserved. | |
| * | |
| * SPDX-License-Identifier: BSD-3-Clause | |
| */ | |
| #ifndef __CSS_MHU_H__ | |
| #define __CSS_MHU_H__ | |
| #include <stdint.h> | |
| void mhu_secure_message_start(unsigned int slot_id); | |
| void mhu_secure_message_send(unsigned int slot_id); | |
| uint32_t mhu_secure_message_wait(void); | |
| void mhu_secure_message_end(unsigned int slot_id); | |
| void mhu_secure_init(void); | |
| #endif /* __CSS_MHU_H__ */ |