disable_nmi_nosync
.disable_pmuirq = disable_nmi_nosync,
extern void disable_nmi_nosync(unsigned int irq);
disable_nmi_nosync(irq);