tag	line	file	source code
return_to_32bit	180	arch/i386/kernel/vm86.c	return_to_32bit(regs, VM86_STI);
return_to_32bit	305	arch/i386/kernel/vm86.c	return_to_32bit(regs, VM86_INTx + (i << 8));
return_to_32bit	307	arch/i386/kernel/vm86.c	return_to_32bit(regs, VM86_INTx + (i << 8));
return_to_32bit	410	arch/i386/kernel/vm86.c	return_to_32bit(regs, VM86_UNKNOWN);