diff options
Diffstat (limited to 'include/bl31/bl31.h')
-rw-r--r-- | include/bl31/bl31.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/include/bl31/bl31.h b/include/bl31/bl31.h index aac6e289..7c35922c 100644 --- a/include/bl31/bl31.h +++ b/include/bl31/bl31.h @@ -18,5 +18,7 @@ uint32_t bl31_get_next_image_type(void); void bl31_prepare_next_image_entry(void); void bl31_register_bl32_init(int32_t (*func)(void)); void bl31_warm_entrypoint(void); +void bl31_main(void); +void bl31_lib_init(void); #endif /* __BL31_H__ */ |