// SPDX-License-Identifier: GPL-2.0
/*
 * Copyright (c) 2026, Microsoft Corporation.
 *
 * Tracepoint definitions for mshv driver.
 */

#define CREATE_TRACE_POINTS
#include "mshv_trace.h"