nospec_revert
void nospec_revert(s32 *start, s32 *end);
nospec_revert(aseg, aseg + s->sh_size);
nospec_revert(aseg, aseg + s->sh_size);
nospec_revert(__nospec_call_start, __nospec_call_end);
nospec_revert(__nospec_return_start, __nospec_return_end);