HYPERV_DBG_ASSERT_VECTOR
if (test_and_set_bit(HYPERV_DBG_ASSERT_VECTOR, system_vectors) ||
HYPERV_DBG_ASSERT_VECTOR, HYPERV_DBG_SERVICE_VECTOR,