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)