PREFIXED           23 gc/include/private/specific.h #define PREFIXED(name) GC_##name
PREFIXED           71 gc/include/private/specific.h typedef tsd * PREFIXED(key_t);
PREFIXED           83 gc/include/private/specific.h static __inline__ void * PREFIXED(getspecific) (tsd * key) {
PREFIXED           67 gc/specific.c  void PREFIXED(remove_specific) (tsd * key) {