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);