40 	unsigned long bios_start, ebda_start;  in find_trampoline_placement()  local
51 	bios_start = *(unsigned short *)0x413 << 10;  in find_trampoline_placement()
53 	if (bios_start < BIOS_START_MIN || bios_start > BIOS_START_MAX)  in find_trampoline_placement()
54 		bios_start = BIOS_START_MAX;  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()
59 	bios_start = round_down(bios_start, PAGE_SIZE);  in find_trampoline_placement()
66 		if (bios_start <= entry->addr)  in find_trampoline_placement()
74 		if (bios_start > entry->addr + entry->size)  in find_trampoline_placement()
75 			bios_start = entry->addr + entry->size;  in find_trampoline_placement()
78 		bios_start = round_down(bios_start, PAGE_SIZE);  in find_trampoline_placement()
81 		if (bios_start - TRAMPOLINE_32BIT_SIZE < entry->addr)  in find_trampoline_placement()
88 	return bios_start - TRAMPOLINE_32BIT_SIZE;  in find_trampoline_placement()