get_reg_fixed_bits
struct resx get_reg_fixed_bits(struct kvm *kvm, enum vcpu_sysreg reg);
resx = get_reg_fixed_bits(kvm, VTCR_EL2);
resx = get_reg_fixed_bits(kvm, HCR_EL2);
resx = get_reg_fixed_bits(kvm, HCRX_EL2);
resx = get_reg_fixed_bits(kvm, HFGRTR_EL2);
resx = get_reg_fixed_bits(kvm, HFGWTR_EL2);
resx = get_reg_fixed_bits(kvm, HDFGRTR_EL2);
resx = get_reg_fixed_bits(kvm, HDFGWTR_EL2);
resx = get_reg_fixed_bits(kvm, HFGITR_EL2);
resx = get_reg_fixed_bits(kvm, HAFGRTR_EL2);
resx = get_reg_fixed_bits(kvm, HFGRTR2_EL2);
resx = get_reg_fixed_bits(kvm, HFGWTR2_EL2);
resx = get_reg_fixed_bits(kvm, HDFGRTR2_EL2);
resx = get_reg_fixed_bits(kvm, HDFGWTR2_EL2);
resx = get_reg_fixed_bits(kvm, HFGITR2_EL2);
resx = get_reg_fixed_bits(kvm, TCR2_EL2);
resx = get_reg_fixed_bits(kvm, SCTLR_EL1);
resx = get_reg_fixed_bits(kvm, SCTLR_EL2);
resx = get_reg_fixed_bits(kvm, SCTLR2_EL1);
resx = get_reg_fixed_bits(kvm, SCTLR2_EL2);
resx = get_reg_fixed_bits(kvm, MDCR_EL2);