diff options
Diffstat (limited to 'include/bl31/bl31.h')
| -rw-r--r-- | include/bl31/bl31.h | 17 |
1 files changed, 12 insertions, 5 deletions
diff --git a/include/bl31/bl31.h b/include/bl31/bl31.h index 6dd759640..b60e32cec 100644 --- a/include/bl31/bl31.h +++ b/include/bl31/bl31.h @@ -31,13 +31,19 @@ #ifndef __BL31_H__ #define __BL31_H__ -#include <bl_common.h> +#include <stdint.h> /******************************************************************************* * Data declarations ******************************************************************************/ extern unsigned long bl31_entrypoint; +/****************************************** + * Forward declarations + *****************************************/ +struct meminfo; +struct el_change_info; + /******************************************************************************* * Function prototypes ******************************************************************************/ @@ -46,9 +52,10 @@ extern void bl31_next_el_arch_setup(uint32_t security_state); extern void bl31_set_next_image_type(uint32_t type); extern uint32_t bl31_get_next_image_type(void); extern void bl31_prepare_next_image_entry(); -extern el_change_info_t *bl31_get_next_image_info(uint32_t type); +extern struct el_change_info *bl31_get_next_image_info(uint32_t type); extern void bl31_platform_setup(void); -extern meminfo_t *bl31_plat_get_bl32_mem_layout(void); -extern meminfo_t *bl31_plat_sec_mem_layout(void); -extern void bl31_register_bl32_init(int32_t (*)(meminfo_t *)); +extern struct meminfo *bl31_plat_get_bl32_mem_layout(void); +extern struct meminfo *bl31_plat_sec_mem_layout(void); +extern void bl31_register_bl32_init(int32_t (*)(struct meminfo *)); + #endif /* __BL31_H__ */ |