1 #ifndef __CHECKER__
2 #define CREATE_TRACE_POINTS
3 #include "armada_trace.h"
4 #endif
5