Searched defs:idte3_init_cached_idregs_per_world (Results 1 – 2 of 2) sorted by relevance
36 void idte3_init_cached_idregs_per_world(size_t security_state) in idte3_init_cached_idregs_per_world() function
143 static inline void idte3_init_cached_idregs_per_world(size_t security_state) in idte3_init_cached_idregs_per_world() function