#include <linux/kallsyms.h>
#include <lttng/kernel-version.h>
+#include <wrapper/ibt.h>
+
/* CONFIG_PPC64_ELF_ABI_V1/V2 were introduced in v5.19 */
#if defined(CONFIG_PPC64_ELF_ABI_V2) || (defined(CONFIG_PPC64) && defined(CONFIG_CPU_LITTLE_ENDIAN))
#define LTTNG_CONFIG_PPC64_ELF_ABI_V2
unsigned long addr;
addr = wrapper_kallsyms_lookup_name(name);
-#ifdef CONFIG_ARM
-#ifdef CONFIG_THUMB2_KERNEL
+#if defined(CONFIG_ARM) && defined(CONFIG_THUMB2_KERNEL)
if (addr)
addr |= 1; /* set bit 0 in address for thumb mode */
-#endif
#endif
return addr;
}