Searched refs:ebda_start (Results 1 – 2 of 2) sorted by relevance
58 unsigned int bios_start, ebda_start; in reserve_bios_regions() local86 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()
40 unsigned long bios_start, ebda_start; in find_trampoline_placement() local50 ebda_start = *(unsigned short *)0x40e << 4; in find_trampoline_placement()56 if (ebda_start > BIOS_START_MIN && ebda_start < bios_start) in find_trampoline_placement()57 bios_start = ebda_start; in find_trampoline_placement()
