- LTTNG_UBUNTU_KERNEL_RANGE(5,4,94,67, 5,5,0,0))
+ LTTNG_KERNEL_RANGE(4,14,218, 4,15,0) || \
+ LTTNG_KERNEL_RANGE(4,19,172, 4,20,0) || \
+ LTTNG_KERNEL_RANGE(5,4,94, 5,5,0) || \
+ LTTNG_UBUNTU_KERNEL_RANGE(4,15,18,141, 4,16,0,0) || \
+ LTTNG_RHEL_KERNEL_RANGE(4,18,0,240,0,0, 4,19,0,0,0,0))