|
@@ -3,7 +3,8 @@
|
|
|
|
|
|
#include <linux/tracepoint.h>
|
|
|
|
|
|
-#ifndef CONFIG_ATH5K_TRACER
|
|
|
+
|
|
|
+#if !defined(CONFIG_ATH5K_TRACER) || defined(__CHECKER__)
|
|
|
#undef TRACE_EVENT
|
|
|
#define TRACE_EVENT(name, proto, ...) \
|
|
|
static inline void trace_ ## name(proto) {}
|
|
@@ -93,7 +94,7 @@ TRACE_EVENT(ath5k_tx_complete,
|
|
|
|
|
|
#endif /* __TRACE_ATH5K_H */
|
|
|
|
|
|
-#ifdef CONFIG_ATH5K_TRACER
|
|
|
+#if defined(CONFIG_ATH5K_TRACER) && !defined(__CHECKER__)
|
|
|
|
|
|
#undef TRACE_INCLUDE_PATH
|
|
|
#define TRACE_INCLUDE_PATH ../../drivers/net/wireless/ath/ath5k
|