80 	unsigned long top = 0xffffd000 >> UM_KERN_PAGE_SHIFT;  in os_get_top_address()  local
101 	for (bottom = 0; bottom < top; bottom++) {  in os_get_top_address()
107 	if (bottom == top) {  in os_get_top_address()
114 	printf("Locating the top of the address space ... ");  in os_get_top_address()
120 	if (page_ok(top))  in os_get_top_address()
124 		test = bottom + (top - bottom) / 2;  in os_get_top_address()
128 			top = test;  in os_get_top_address()
129 	} while (top - bottom > 1);  in os_get_top_address()
137 	top <<= UM_KERN_PAGE_SHIFT;  in os_get_top_address()
138 	printf("0x%lx\n", top);  in os_get_top_address()
140 	return top;  in os_get_top_address()