sys/arm64/vmm/vmm_hyp.c

371

hypctx_read_sys_reg(hypctx, HOST_HFGITR_EL2));

sys/arm64/vmm/vmm_reset.c

485

*hypctx_sys_reg(el2ctx, HOST_HFGITR_EL2) = 0;

sys/arm64/vmm/vmm_reset.c

489

HOST_HFGITR_EL2) |= HFGITR_EL2_ATS1E1A_TRAP;

sys/arm64/vmm/vmm_reset.c

493

HOST_HFGITR_EL2) |= HFGITR_EL2_COSPRCTX_TRAP;

sys/arm64/vmm/vmm_reset.c

496

*hypctx_sys_reg(el2ctx, HOST_HFGITR_EL2) |=

sys/arm64/vmm/vmm_reset.c

502

*hypctx_sys_reg(el2ctx, HOST_HFGITR_EL2) |=

sys/arm64/vmm/vmm_reset.c

507

*hypctx_sys_reg(el2ctx, HOST_HFGITR_EL2) |=

sys/arm64/vmm/vmm_reset.c

513

*hypctx_sys_reg(el2ctx, HOST_HFGITR_EL2) |=

sys/arm64/vmm/vmm_reset.c

524

*hypctx_sys_reg(el2ctx, HOST_HFGITR_EL2) |=

sys/arm64/vmm/vmm_reset.c

531

*hypctx_sys_reg(el2ctx, HOST_HFGITR_EL2) |=

sys/arm64/vmm/vmm_reset.c

540

*hypctx_sys_reg(el2ctx, HOST_HFGITR_EL2) |=

sys/arm64/vmm/vmm_reset.c

545

*hypctx_sys_reg(el2ctx, HOST_HFGITR_EL2) |=

sys/arm64/vmm/vmm_reset.c

549

*hypctx_sys_reg(el2ctx, HOST_HFGITR_EL2) |=

sys/arm64/vmm/vmm_reset.c

555

*hypctx_sys_reg(el2ctx, HOST_HFGITR_EL2) |=

sys/arm64/vmm/vmm_reset.c

569

*hypctx_sys_reg(el2ctx, HOST_HFGITR_EL2) |=