Searched defs:global_prefix (Results 1 – 2 of 2) sorted by relevance
72 /*@owned@*/ char *global_prefix; member
50 /*@null@*/ /*@only@*/ static char *global_prefix = NULL, *global_suffix = NULL; variable