do_stf_barrier_fixups
void do_stf_barrier_fixups(enum stf_barrier_type types);
do_stf_barrier_fixups(stf_enabled_flush_types);
do_stf_barrier_fixups(STF_BARRIER_NONE);