do_barrier_nospec_fixups_range
void do_barrier_nospec_fixups_range(bool enable, void *start, void *end);
do_barrier_nospec_fixups_range(barrier_nospec_enabled,
do_barrier_nospec_fixups_range(enable, start, end);