kernel/smp.c: consolidate writes in smp_call_function_interrupt()