irq_ctx_exit      176 arch/x86/kernel/irq_32.c void irq_ctx_exit(int cpu)
irq_ctx_exit       28 include/asm-x86/irq.h # define irq_ctx_exit(cpu) do { } while (0)