Searched refs:bl31_register_rmm_init (Results 1 – 3 of 3) sorted by relevance
19 void bl31_register_rmm_init(int32_t (*func)(void));
353 void bl31_register_rmm_init(int32_t (*func)(void)) in bl31_register_rmm_init() function
239 bl31_register_rmm_init(&rmm_init); in rmmd_setup()