Searched refs:idte3_init_cached_idregs_per_world (Results 1 – 4 of 4) sorted by relevance
129 void idte3_init_cached_idregs_per_world(size_t security_state);143 static inline void idte3_init_cached_idregs_per_world(size_t security_state) in idte3_init_cached_idregs_per_world() function
36 void idte3_init_cached_idregs_per_world(size_t security_state) in idte3_init_cached_idregs_per_world() function
770 idte3_init_cached_idregs_per_world(CPU_CONTEXT_NS); in manage_extensions_nonsecure_per_world()823 idte3_init_cached_idregs_per_world(CPU_CONTEXT_SECURE); in manage_extensions_secure_per_world()867 idte3_init_cached_idregs_per_world(CPU_CONTEXT_REALM); in manage_extensions_realm_per_world()
529 ``idte3_init_cached_idregs_per_world()``.