free_vm86_irq     817 arch/x86/kernel/vm86_32.c 		free_vm86_irq(i);
free_vm86_irq     868 arch/x86/kernel/vm86_32.c 			free_vm86_irq(irqnumber);