HV_SYNIC_SINT_MASKED
masked = data & HV_SYNIC_SINT_MASKED;
atomic64_set(&synic->sint[i], HV_SYNIC_SINT_MASKED);
if (sint_value & HV_SYNIC_SINT_MASKED)