Searched refs:perworld_idregs_t (Results 1 – 4 of 4) sorted by relevance
42 perworld_idregs_t *reg = &(per_world_ctx->idregs); in idte3_init_cached_idregs_per_world()123 perworld_idregs_t *perworld_reg = &(per_world_ctx->idregs); in handle_idreg_trap()
285 } perworld_idregs_t; typedef342 perworld_idregs_t idregs;
98 perworld_idregs_t *perworld_idregs = &(per_world_ctx->idregs); \365 perworld_idregs_t *perworld_idregs = in CREATE_FEATURE_SUPPORTED()606 perworld_idregs_t *perworld_idregs = in CREATE_FEATURE_SUPPORTED()
518 perworld_idregs_t idregs;523 the ``per_world_context_t`` structure includes a ``perworld_idregs_t`` member