__cleanup_nmi    1918 kernel/irq/manage.c 	devname = __cleanup_nmi(irq, desc);
__cleanup_nmi    2172 kernel/irq/manage.c 		__cleanup_nmi(irq, desc);