/* * Copyright (C) 2012 Regents of the University of California * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License * as published by the Free Software Foundation, version 2. * * This program is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * GNU General Public License for more details. */ #include #include #include #include #include #include #include #include #include #include static void __init zone_sizes_init(void) { unsigned long zones_size[MAX_NR_ZONES]; memset(zones_size, 0, sizeof(zones_size)); zones_size[ZONE_NORMAL] = max_mapnr; free_area_init_node(0, zones_size, pfn_base, NULL); } void setup_zero_page(void) { memset((void *)empty_zero_page, 0, PAGE_SIZE); } void __init paging_init(void) { init_mm.pgd = (pgd_t *)pfn_to_virt(csr_read(sptbr)); setup_zero_page(); local_flush_tlb_all(); zone_sizes_init(); } void __init mem_init(void) { #ifdef CONFIG_FLATMEM BUG_ON(!mem_map); #endif /* CONFIG_FLATMEM */ high_memory = (void *)(__va(PFN_PHYS(max_low_pfn))); free_all_bootmem(); mem_init_print_info(NULL); } void free_initmem(void) { free_initmem_default(0); } #ifdef CONFIG_BLK_DEV_INITRD void free_initrd_mem(unsigned long start, unsigned long end) { } #endif /* CONFIG_BLK_DEV_INITRD */