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