/* Find the lowest, highest page frame number we have available  */
void __init find_min_max_pfn(void)
/* Find the lowest, highest page frame number we have available  */
void __init find_min_max_pfn(void)
{
	int i;
	max_pfn = 0;
	min_low_pfn = memory_end;
	for (i = 0; i < bfin_memmap.nr_map; i++) {
		unsigned long start, end;
		if (bfin_memmap.map[i].type != BFIN_MEMMAP_RAM)
			continue;
		start = PFN_UP(bfin_memmap.map[i].addr);
		end = PFN_DOWN(bfin_memmap.map[i].addr +
				bfin_memmap.map[i].size);
		if (start >= end)
			continue;
		if (end > max_pfn)
			max_pfn = end;
		if (start < min_low_pfn)
			min_low_pfn = start;
	}
}