-/* SPDX-License-Identifier: (GPL-2.0 or LGPL-2.1)
+/* SPDX-License-Identifier: (GPL-2.0-only or LGPL-2.1-only)
*
* wrapper/timer.h
*
#include <linux/version.h>
#include <linux/timer.h>
-#include <lttng-kernel-version.h>
+#include <lttng/kernel-version.h>
/*
* In the olden days, pinned timers were initialized normaly with init_timer()