tag	line	file	source code
return_to_32bit	166	kernel/vm86.c	return_to_32bit(regs, VM86_STI);
return_to_32bit	291	kernel/vm86.c	return_to_32bit(regs, VM86_INTx + (i << 8));
return_to_32bit	293	kernel/vm86.c	return_to_32bit(regs, VM86_INTx + (i << 8));
return_to_32bit	402	kernel/vm86.c	return_to_32bit(regs, VM86_UNKNOWN);