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;

sys/arm64/vmm/vmm_hyp.c

170

hypctx_write_sys_reg(hypctx, HOST_MDCR_EL2,

sys/arm64/vmm/vmm_hyp.c

766

WRITE_SPECIALREG(mdcr_el2, hypctx_read_sys_reg(hypctx, HOST_MDCR_EL2));

sys/arm64/vmm/vmm_hyp.c

769

WRITE_SPECIALREG(mdcr_el2, hypctx_read_sys_reg(host_hypctx, HOST_MDCR_EL2));

sys/arm64/vmm/vmm_reset.c

109

hypctx_write_sys_reg(el2ctx, HOST_MDCR_EL2,

sys/arm64/vmm/vmm_reset.c

112

*hypctx_sys_reg(el2ctx, HOST_MDCR_EL2) |=