| /* | 
 |  * 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 <linux/init.h> | 
 | #include <linux/mm.h> | 
 | #include <linux/bootmem.h> | 
 | #include <linux/initrd.h> | 
 | #include <linux/memblock.h> | 
 | #include <linux/swap.h> | 
 | #include <linux/sizes.h> | 
 |  | 
 | #include <asm/tlbflush.h> | 
 | #include <asm/sections.h> | 
 | #include <asm/pgtable.h> | 
 | #include <asm/io.h> | 
 |  | 
 | static void __init zone_sizes_init(void) | 
 | { | 
 | 	unsigned long max_zone_pfns[MAX_NR_ZONES] = { 0, }; | 
 |  | 
 | #ifdef CONFIG_ZONE_DMA32 | 
 | 	max_zone_pfns[ZONE_DMA32] = PFN_DOWN(min(4UL * SZ_1G, | 
 | 			(unsigned long) PFN_PHYS(max_low_pfn))); | 
 | #endif | 
 | 	max_zone_pfns[ZONE_NORMAL] = max_low_pfn; | 
 |  | 
 | 	free_area_init_nodes(max_zone_pfns); | 
 | } | 
 |  | 
 | void setup_zero_page(void) | 
 | { | 
 | 	memset((void *)empty_zero_page, 0, PAGE_SIZE); | 
 | } | 
 |  | 
 | void __init paging_init(void) | 
 | { | 
 | 	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 */ |