|
@@ -56,7 +56,7 @@ extern void __chk_io_ptr(const volatile void __iomem *);
|
|
#include <linux/compiler-gcc.h>
|
|
#include <linux/compiler-gcc.h>
|
|
#endif
|
|
#endif
|
|
|
|
|
|
-#ifdef CC_USING_HOTPATCH
|
|
|
|
|
|
+#if defined(CC_USING_HOTPATCH) && !defined(__CHECKER__)
|
|
#define notrace __attribute__((hotpatch(0,0)))
|
|
#define notrace __attribute__((hotpatch(0,0)))
|
|
#else
|
|
#else
|
|
#define notrace __attribute__((no_instrument_function))
|
|
#define notrace __attribute__((no_instrument_function))
|