tag	line	file	source code
bios32_indirect	107	kernel/bios32.c	} bios32_indirect = { 0, KERNEL_CS };
bios32_indirect	128	kernel/bios32.c	"D" (&bios32_indirect));
bios32_indirect	454	kernel/bios32.c	bios32_indirect.address = bios32_entry = check->fields.entry;