free_vm86_irq     781 arch/x86/kernel/vm86_32.c 		free_vm86_irq(i);
free_vm86_irq     832 arch/x86/kernel/vm86_32.c 			free_vm86_irq(irqnumber);