Lines Matching defs:void

43 static int32_t (*bl32_init)(void);
49 static int32_t (*rmm_init)(void);
85 void __init bl31_lib_init(void)
93 void bl31_setup(u_register_t arg0, u_register_t arg1, u_register_t arg2,
119 void bl31_main(void)
232 void bl31_set_next_image_type(uint32_t security_state)
238 uint32_t bl31_get_next_image_type(void)
247 void __init bl31_prepare_next_image_entry(void)
292 void bl31_register_bl32_init(int32_t (*func)(void))
302 void bl31_register_rmm_init(int32_t (*func)(void))