Searched refs:cm_manage_extensions_per_world (Results 1 – 4 of 4) sorted by relevance
39 void cm_manage_extensions_per_world(void);91 static inline void cm_manage_extensions_per_world(void) {} in cm_manage_extensions_per_world() function
131 cm_manage_extensions_per_world(); in bl31_main()
69 cm_manage_extensions_per_world(); in PMF_REGISTER_SERVICE()
871 void cm_manage_extensions_per_world(void) in cm_manage_extensions_per_world() function