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