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()
36 unsigned long bios_start = 0, ebda_start = 0; in find_trampoline_placement() local55 ebda_start = *(unsigned short *)0x40e << 4; in find_trampoline_placement()62 if (ebda_start > BIOS_START_MIN && ebda_start < bios_start) in find_trampoline_placement()63 bios_start = ebda_start; in find_trampoline_placement()