+/* SPDX-License-Identifier: GPL-2.0 */
#if !defined(LTTNG_TRACE_KVM_MAIN_H) || defined(TRACE_HEADER_MULTI_READ)
#define LTTNG_TRACE_KVM_MAIN_H
|| LTTNG_DEBIAN_KERNEL_RANGE(4,14,13,0,1,0, 4,15,0,0,0,0) \
|| LTTNG_KERNEL_RANGE(4,9,77, 4,10,0) \
|| LTTNG_KERNEL_RANGE(4,4,112, 4,5,0) \
+ || LTTNG_KERNEL_RANGE(4,1,50, 4,2,0) \
|| LTTNG_KERNEL_RANGE(3,16,52, 3,17,0) \
+ || LTTNG_UBUNTU_KERNEL_RANGE(3,13,11,144, 3,14,0,0) \
|| LTTNG_KERNEL_RANGE(3,2,97, 3,3,0) \
+ || LTTNG_UBUNTU_KERNEL_RANGE(4,13,16,38, 4,14,0,0) \
|| LTTNG_DEBIAN_KERNEL_RANGE(4,9,65,0,3,0, 4,10,0,0,0,0) \
|| LTTNG_FEDORA_KERNEL_RANGE(4,14,13,300, 4,15,0,0))