spec_uarch_flush_noop
void (*spec_uarch_flush)(void) = spec_uarch_flush_noop;
spec_uarch_flush = spec_uarch_flush_noop;