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