|| LTTNG_KERNEL_RANGE(5,5,12, 5,6,0) \
|| LTTNG_KERNEL_RANGE(5,4,28, 5,5,0) \
|| LTTNG_KERNEL_RANGE(5,2,37, 5,3,0) \
|| LTTNG_KERNEL_RANGE(4,19,113, 4,20,0) \
|| LTTNG_KERNEL_RANGE(4,14,175, 4,15,0) \
|| LTTNG_KERNEL_RANGE(4,9,218, 4,10,0) \
|| LTTNG_KERNEL_RANGE(5,5,12, 5,6,0) \
|| LTTNG_KERNEL_RANGE(5,4,28, 5,5,0) \
|| LTTNG_KERNEL_RANGE(5,2,37, 5,3,0) \
|| LTTNG_KERNEL_RANGE(4,19,113, 4,20,0) \
|| LTTNG_KERNEL_RANGE(4,14,175, 4,15,0) \
|| LTTNG_KERNEL_RANGE(4,9,218, 4,10,0) \