Searched refs:bl31_register_rmm_init (Results 1 – 3 of 3) sorted by relevance
22 void bl31_register_rmm_init(int32_t (*func)(void));
273 void bl31_register_rmm_init(int32_t (*func)(void)) in bl31_register_rmm_init() function
186 bl31_register_rmm_init(&rmm_init); in rmmd_setup()
Completed in 3 milliseconds