Searched defs:WITNESS_SAVE_DECL (Results 1 – 1 of 1) sorted by relevance
288 #define WITNESS_SAVE_DECL(n) \ macro321 #define WITNESS_SAVE_DECL(n) (void)0 macro