Home
last modified time | relevance | path

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

/arch/x86/kernel/
Debda.c57 unsigned int bios_start, ebda_start; in reserve_bios_regions() local
85 ebda_start = get_bios_ebda(); in reserve_bios_regions()
92 if (ebda_start >= BIOS_START_MIN && ebda_start < bios_start) in reserve_bios_regions()
93 bios_start = ebda_start; in reserve_bios_regions()