free_percpu_nmi
free_percpu_nmi(irq, devid);
extern void free_percpu_nmi(unsigned int irq, void __percpu *percpu_dev_id);