|| LTTNG_KERNEL_RANGE(4,9,77, 4,10,0) \
|| LTTNG_KERNEL_RANGE(4,4,112, 4,5,0) \
|| LTTNG_KERNEL_RANGE(3,16,52, 3,17,0) \
|| LTTNG_KERNEL_RANGE(3,2,97, 3,3,0) \
|| LTTNG_KERNEL_RANGE(4,9,77, 4,10,0) \
|| LTTNG_KERNEL_RANGE(4,4,112, 4,5,0) \
|| LTTNG_KERNEL_RANGE(3,16,52, 3,17,0) \
|| LTTNG_KERNEL_RANGE(3,2,97, 3,3,0) \