tag	line	file	source code
VM86_INTx	295	arch/i386/kernel/vm86.c	return_to_32bit(regs, VM86_INTx + (i << 8));
VM86_INTx	297	arch/i386/kernel/vm86.c	return_to_32bit(regs, VM86_INTx + (i << 8));