Symbol: flush_cc_cache
usr/src/tools/smatch/src/example.c
1346
flush_cc_cache(state);
usr/src/tools/smatch/src/example.c
902
flush_cc_cache(state);
usr/src/tools/smatch/src/example.c
926
flush_cc_cache(state);