Symbol: flush_cc_cache_to_reg
usr/src/tools/smatch/src/example.c
568
flush_cc_cache_to_reg(state, pseudo, dst);
usr/src/tools/smatch/src/example.c
589
flush_cc_cache_to_reg(state, pseudo, hardreg);