irq_ctx_exit 1404 arch/x86/kernel/smpboot.c irq_ctx_exit(raw_smp_processor_id()); irq_ctx_exit 24 include/asm-x86/irq.h extern void irq_ctx_exit(int cpu);