1 // SPDX-License-Identifier: GPL-2.0 2 /* 3 * Copyright (c) 2026, Microsoft Corporation. 4 * 5 * Tracepoint definitions for mshv driver. 6 */ 7 8 #define CREATE_TRACE_POINTS 9 #include "mshv_trace.h" 10