Home
last modified time | relevance | path

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

/linux/arch/x86/kernel/
A Debda.c58 unsigned int bios_start, ebda_start; in reserve_bios_regions() local
86 ebda_start = get_bios_ebda(); in reserve_bios_regions()
93 if (ebda_start >= BIOS_START_MIN && ebda_start < bios_start) in reserve_bios_regions()
94 bios_start = ebda_start; in reserve_bios_regions()
/linux/arch/x86/boot/compressed/
A Dpgtable_64.c42 unsigned long bios_start = 0, ebda_start = 0; in find_trampoline_placement() local
61 ebda_start = *(unsigned short *)0x40e << 4; in find_trampoline_placement()
68 if (ebda_start > BIOS_START_MIN && ebda_start < bios_start) in find_trampoline_placement()
69 bios_start = ebda_start; in find_trampoline_placement()

Completed in 4 milliseconds