tag	line	file	source code
bios32	403	arch/i386/kernel/bios32.c	union bios32 *check;
bios32	414	arch/i386/kernel/bios32.c	for (check = (union bios32 *) 0xe0000; check <= (union bios32 *) 0xffff0; ++check) {