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