// SPDX-License-Identifier: GPL-2.0 /* * Copyright (c) 2026, Microsoft Corporation. * * Tracepoint definitions for mshv driver. */ #define CREATE_TRACE_POINTS #include "mshv_trace.h"