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