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