return_to_32bit   369 arch/x86/kernel/vm86_32.c 		return_to_32bit(regs, VM86_STI);
return_to_32bit   548 arch/x86/kernel/vm86_32.c 	return_to_32bit(regs, VM86_INTx + (i << 8));
return_to_32bit   555 arch/x86/kernel/vm86_32.c 			return_to_32bit(regs, VM86_TRAP + (trapno << 8));
return_to_32bit   580 arch/x86/kernel/vm86_32.c 		return_to_32bit(regs, VM86_PICRETURN); \
return_to_32bit   651 arch/x86/kernel/vm86_32.c 				return_to_32bit(regs, VM86_INTx + (intno << 8));
return_to_32bit   704 arch/x86/kernel/vm86_32.c 		return_to_32bit(regs, VM86_UNKNOWN);
return_to_32bit   720 arch/x86/kernel/vm86_32.c 	return_to_32bit(regs, VM86_UNKNOWN);