enable_percpu_nmi
enable_percpu_nmi(ipi_irq_base + i, 0);
enable_percpu_nmi(irq, IRQ_TYPE_NONE);
extern void enable_percpu_nmi(unsigned int irq, unsigned int type);