Symbol: PSR_M_EL1h
sys/arm64/vmm/vmm_arm64.c
1126
} else if (mode == PSR_M_EL1h) {
sys/arm64/vmm/vmm_arm64.c
1147
PSR_M_EL1h;
sys/arm64/vmm/vmm_reset.c
155
*hypctx_sys_reg(el2ctx, HOST_SPSR_EL2) |= PSR_M_EL1h;