VNCR_EL2
va |= __vcpu_sys_reg(vcpu, VNCR_EL2) & GENMASK(PAGE_SHIFT - 1, 0);
return (u64)sign_extend64(__vcpu_sys_reg(vcpu, VNCR_EL2), 48);
set_sysreg_masks(kvm, VNCR_EL2, resx);
EL2_REG_FILTERED(VNCR_EL2, bad_vncr_trap, reset_val, 0,
REG_FEAT(VNCR_EL2, ID_AA64MMFR4_EL1, NV_frac, NV2_ONLY),
SYS_REG(VNCR_EL2),