static inline bool hv_is_synic_reg(unsigned int reg)
 {
-       if ((reg >= HV_REGISTER_SCONTROL) &&
-           (reg <= HV_REGISTER_SINT15))
-               return true;
-       return false;
+       return (reg >= HV_REGISTER_SCONTROL) &&
+              (reg <= HV_REGISTER_SINT15);
+}
+
+static inline bool hv_is_sint_reg(unsigned int reg)
+{
+       return (reg >= HV_REGISTER_SINT0) &&
+              (reg <= HV_REGISTER_SINT15);
 }
 
 u64 hv_get_register(unsigned int reg);
 
 #if IS_ENABLED(CONFIG_HYPERV)
 static inline unsigned int hv_get_nested_reg(unsigned int reg)
 {
+       if (hv_is_sint_reg(reg))
+               return reg - HV_REGISTER_SINT0 + HV_REGISTER_NESTED_SINT0;
+
        switch (reg) {
        case HV_REGISTER_SIMP:
                return HV_REGISTER_NESTED_SIMP;
                return HV_REGISTER_NESTED_SVERSION;
        case HV_REGISTER_SCONTROL:
                return HV_REGISTER_NESTED_SCONTROL;
-       case HV_REGISTER_SINT0:
-               return HV_REGISTER_NESTED_SINT0;
        case HV_REGISTER_EOM:
                return HV_REGISTER_NESTED_EOM;
        default:
                hv_ghcb_msr_write(reg, value);
 
                /* Write proxy bit via wrmsl instruction */
-               if (reg >= HV_REGISTER_SINT0 &&
-                   reg <= HV_REGISTER_SINT15)
+               if (hv_is_sint_reg(reg))
                        wrmsrl(reg, value | 1 << 20);
        } else {
                wrmsrl(reg, value);