284 	int page, count, top_bank, video_bank;  in get_memory_configuration()  local
303 		page = memory_page_types[loop / 2];	/* read	twice */  in get_memory_configuration()
304 		if (loop & 1) page >>= 4;		/* take other nibble */  in get_memory_configuration()
310 		page &= 0x7;			/* only take bottom 3 bits */  in get_memory_configuration()
311 		if (page != current_page_type) {  in get_memory_configuration()
360 			current_page_type = page;  in get_memory_configuration()
503 	int	page, inout;  in get_memory_map()  local
507 	for (page = 0, page_info = mem_pages_info;  in get_memory_map()
508 	     page < totalpages;  in get_memory_map()
509 	     page++, page_info++) {  in get_memory_map()
511 		page_info->logical    = (firstpage + page) * nbpp;  in get_memory_map()
535 	for (page=0; page < totalpages; page++) {  in get_memory_map()
536 		phys_addr = mem_pages_info[page].physical;  in get_memory_map()
538 		while (mem_pages_info[page+1].physical - phys_addr == nbpp) {  in get_memory_map()
541 				first_mapped_DRAM_page_index = page;  in get_memory_map()
544 				first_mapped_PODRAM_page_index = page;  in get_memory_map()
545 			page++;  in get_memory_map()
546 			phys_addr = mem_pages_info[page].physical;  in get_memory_map()
562 	u_long page, section, addr, kpage;  in create_initial_page_tables()  local
571 	for (page = 0; page < 4*1024; page++)  in create_initial_page_tables()
572 		initial_page_tables[page] = (page<<20) | section;  in create_initial_page_tables()
588 	for (page = 0; page < 16; page++) {  in create_initial_page_tables()
589 		addr  = (kernel_physical_start >> 20) + page;  in create_initial_page_tables()
590 		kpage = (marks[MARK_START]     >> 20) + page;  in create_initial_page_tables()
599 	int page;  in add_pagetables_at_top()  local
618 	for (page = 0; page < 4; page++) {  in add_pagetables_at_top()
1019 	struct page_info *page;  in get_relocated_page()  local
1022 	page = free_relocation_page;  in get_relocated_page()
1040 	return page;  in get_relocated_page()