Searched refs:ebda_start (Results 1 - 2 of 2) sorted by relevance

/linux-master/arch/x86/kernel/
H A Debda.c58 unsigned int bios_start, ebda_start; local
86 ebda_start = get_bios_ebda();
93 if (ebda_start >= BIOS_START_MIN && ebda_start < bios_start)
94 bios_start = ebda_start;
/linux-master/arch/x86/boot/compressed/
H A Dpgtable_64.c36 unsigned long bios_start = 0, ebda_start = 0; local
55 ebda_start = *(unsigned short *)0x40e << 4;
62 if (ebda_start > BIOS_START_MIN && ebda_start < bios_start)
63 bios_start = ebda_start;

Completed in 107 milliseconds