Symbol: MDCR_EL2_TDE
sys/arm64/vmm/vmm_arm64.c
1408
*hypctx_sys_reg(hypctx, HOST_MDCR_EL2) |= MDCR_EL2_TDE;
sys/arm64/vmm/vmm_arm64.c
1410
*hypctx_sys_reg(hypctx, HOST_MDCR_EL2) &= ~MDCR_EL2_TDE;
sys/arm64/vmm/vmm_arm64.c
1424
*hypctx_sys_reg(hypctx, HOST_MDCR_EL2) |= MDCR_EL2_TDE;
sys/arm64/vmm/vmm_arm64.c
1436
HOST_MDCR_EL2) &= ~MDCR_EL2_TDE;