1// SPDX-License-Identifier: GPL-2.0 2 3#include "hyperv_vmbus.h" 4 5#define CREATE_TRACE_POINTS 6#include "hv_trace.h" 7