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() 117 perworld_idregs_t *perworld_reg = &(per_world_ctx->idregs); in handle_idreg_trap()
286 } perworld_idregs_t; typedef343 perworld_idregs_t idregs;
98 perworld_idregs_t *perworld_idregs = &(per_world_ctx->idregs); \234 perworld_idregs_t *perworld_idregs = in CREATE_FEATURE_SUPPORTED()475 perworld_idregs_t *perworld_idregs = in CREATE_FEATURE_SUPPORTED()
525 perworld_idregs_t idregs;530 the ``per_world_context_t`` structure includes a ``perworld_idregs_t`` member