18c2ecf20Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0 28c2ecf20Sopenharmony_ci 38c2ecf20Sopenharmony_ci#include "hyperv_vmbus.h" 48c2ecf20Sopenharmony_ci 58c2ecf20Sopenharmony_ci#define CREATE_TRACE_POINTS 68c2ecf20Sopenharmony_ci#include "hv_trace.h" 7