teardown_percpu_nmi
teardown_percpu_nmi(ipi_irq_base + i);
teardown_percpu_nmi(irq);
extern void teardown_percpu_nmi(unsigned int irq);