VM86_INTx         548 arch/x86/kernel/vm86_32.c 	return_to_32bit(regs, VM86_INTx + (i << 8));
VM86_INTx         651 arch/x86/kernel/vm86_32.c 				return_to_32bit(regs, VM86_INTx + (intno << 8));