tag	line	file	source code
intr_ptr	303	arch/i386/kernel/vm86.c	unsigned short *intr_ptr, seg;
intr_ptr	311	arch/i386/kernel/vm86.c	intr_ptr = (unsigned short *) (i << 2);
intr_ptr	312	arch/i386/kernel/vm86.c	if (verify_area(VERIFY_READ, intr_ptr, 4) < 0)
intr_ptr	314	arch/i386/kernel/vm86.c	seg = get_fs_word(intr_ptr+1);
intr_ptr	322	arch/i386/kernel/vm86.c	IP(regs) = get_fs_word(intr_ptr+0);