set_sysreg_masks
set_sysreg_masks(kvm, VTTBR_EL2, resx);
set_sysreg_masks(kvm, VTCR_EL2, resx);
set_sysreg_masks(kvm, VMPIDR_EL2, resx);
set_sysreg_masks(kvm, HCR_EL2, resx);
set_sysreg_masks(kvm, HCRX_EL2, resx);
set_sysreg_masks(kvm, HFGRTR_EL2, resx);
set_sysreg_masks(kvm, HFGWTR_EL2, resx);
set_sysreg_masks(kvm, HDFGRTR_EL2, resx);
set_sysreg_masks(kvm, HDFGWTR_EL2, resx);
set_sysreg_masks(kvm, HFGITR_EL2, resx);
set_sysreg_masks(kvm, HAFGRTR_EL2, resx);
set_sysreg_masks(kvm, HFGRTR2_EL2, resx);
set_sysreg_masks(kvm, HFGWTR2_EL2, resx);
set_sysreg_masks(kvm, HDFGRTR2_EL2, resx);
set_sysreg_masks(kvm, HDFGWTR2_EL2, resx);
set_sysreg_masks(kvm, HFGITR2_EL2, resx);
set_sysreg_masks(kvm, TCR2_EL2, resx);
set_sysreg_masks(kvm, SCTLR_EL1, resx);
set_sysreg_masks(kvm, SCTLR_EL2, resx);
set_sysreg_masks(kvm, SCTLR2_EL1, resx);
set_sysreg_masks(kvm, SCTLR2_EL2, resx);
set_sysreg_masks(kvm, MDCR_EL2, resx);
set_sysreg_masks(kvm, CNTHCTL_EL2, resx);
set_sysreg_masks(kvm, ICH_HCR_EL2, resx);
set_sysreg_masks(kvm, VNCR_EL2, resx);