diff options
Diffstat (limited to 'include/bl31/bl31.h')
-rw-r--r-- | include/bl31/bl31.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/bl31/bl31.h b/include/bl31/bl31.h index 33e4ece..96867b0 100644 --- a/include/bl31/bl31.h +++ b/include/bl31/bl31.h @@ -40,7 +40,7 @@ void bl31_arch_setup(void); void bl31_next_el_arch_setup(uint32_t security_state); void bl31_set_next_image_type(uint32_t type); uint32_t bl31_get_next_image_type(void); -void bl31_prepare_next_image_entry(); +void bl31_prepare_next_image_entry(void); void bl31_register_bl32_init(int32_t (*)(void)); #endif /* __BL31_H__ */ |