tag	line	file	source code
bios32_indirect	122	arch/i386/kernel/bios32.c	} bios32_indirect = { 0, KERNEL_CS };
bios32_indirect	158	arch/i386/kernel/bios32.c	"D" (&bios32_indirect));
bios32_indirect	768	arch/i386/kernel/bios32.c	bios32_indirect.address = bios32_entry = check->fields.entry;