ebda_start         42 arch/x86/boot/compressed/pgtable_64.c 	unsigned long bios_start = 0, ebda_start = 0;
ebda_start         61 arch/x86/boot/compressed/pgtable_64.c 		ebda_start = *(unsigned short *)0x40e << 4;
ebda_start         68 arch/x86/boot/compressed/pgtable_64.c 	if (ebda_start > BIOS_START_MIN && ebda_start < bios_start)
ebda_start         69 arch/x86/boot/compressed/pgtable_64.c 		bios_start = ebda_start;
ebda_start         58 arch/x86/kernel/ebda.c 	unsigned int bios_start, ebda_start;
ebda_start         86 arch/x86/kernel/ebda.c 	ebda_start = get_bios_ebda();
ebda_start         93 arch/x86/kernel/ebda.c 	if (ebda_start >= BIOS_START_MIN && ebda_start < bios_start)
ebda_start         94 arch/x86/kernel/ebda.c 		bios_start = ebda_start;