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