sys/arm64/vmm/io/vgic_v3.c

1474

vmpidr_el2 = hypctx_read_sys_reg(hypctx, HOST_VMPIDR_EL2);

sys/arm64/vmm/io/vgic_v3.c

434

if (hypctx != NULL && (hypctx_read_sys_reg(hypctx, HOST_VMPIDR_EL2) & GICD_AFF) == mpidr)

sys/arm64/vmm/io/vgic_v3.c

484

irq->mpidr = hypctx_read_sys_reg(hypctx, HOST_VMPIDR_EL2) & GICD_AFF;

sys/arm64/vmm/vmm_arm64.c

1304

return hypctx_sys_reg(hypctx, HOST_VMPIDR_EL2);

sys/arm64/vmm/vmm_hyp.c

341

hypctx_write_sys_reg(hypctx, HOST_VMPIDR_EL2,

sys/arm64/vmm/vmm_hyp.c

446

hypctx_read_sys_reg(hypctx, HOST_VMPIDR_EL2));

sys/arm64/vmm/vmm_reset.c

115

hypctx_write_sys_reg(el2ctx, HOST_VMPIDR_EL2, VMPIDR_EL2_RES1);

sys/arm64/vmm/vmm_reset.c

117

*hypctx_sys_reg(el2ctx, HOST_VMPIDR_EL2) &=

sys/arm64/vmm/vmm_reset.c

127

*hypctx_sys_reg(el2ctx, HOST_VMPIDR_EL2) |= cpu_aff;