Symbol: HOST_VPIDR_EL2
sys/arm64/vmm/vmm_hyp.c
339
hypctx_write_sys_reg(hypctx, HOST_VPIDR_EL2,
sys/arm64/vmm/vmm_hyp.c
444
hypctx_read_sys_reg(hypctx, HOST_VPIDR_EL2));
sys/arm64/vmm/vmm_reset.c
130
hypctx_write_sys_reg(el2ctx, HOST_VPIDR_EL2,
sys/arm64/vmm/vmm_reset.c
132
*hypctx_sys_reg(el2ctx, HOST_VPIDR_EL2) |= CPU_VAR_TO_MIDR(0);
sys/arm64/vmm/vmm_reset.c
133
*hypctx_sys_reg(el2ctx, HOST_VPIDR_EL2) |= CPU_ARCH_TO_MIDR(0xf);
sys/arm64/vmm/vmm_reset.c
134
*hypctx_sys_reg(el2ctx, HOST_VPIDR_EL2) |= CPU_PART_TO_MIDR(
sys/arm64/vmm/vmm_reset.c
136
*hypctx_sys_reg(el2ctx, HOST_VPIDR_EL2) |= CPU_REV_TO_MIDR(0);