do_barrier_nospec_fixups
void do_barrier_nospec_fixups(bool enable);
do_barrier_nospec_fixups(enable);