VMPIDR_EL2
mpidr = ctxt_sys_reg(guest_ctxt, VMPIDR_EL2);
set_sysreg_masks(kvm, VMPIDR_EL2, resx);
EL2_REG_VNCR(VMPIDR_EL2, reset_unknown, 0),
SYS_REG(VMPIDR_EL2),