2 * Copyright (C) 2012 Regents of the University of California
4 * This program is free software; you can redistribute it and/or
5 * modify it under the terms of the GNU General Public License
6 * as published by the Free Software Foundation, version 2.
8 * This program is distributed in the hope that it will be useful,
9 * but WITHOUT ANY WARRANTY; without even the implied warranty of
10 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
11 * GNU General Public License for more details.
14 #include <linux/init.h>
16 #include <linux/bootmem.h>
17 #include <linux/initrd.h>
18 #include <linux/memblock.h>
19 #include <linux/swap.h>
20 #include <linux/sizes.h>
22 #include <asm/tlbflush.h>
23 #include <asm/sections.h>
24 #include <asm/pgtable.h>
27 static void __init
zone_sizes_init(void)
29 unsigned long max_zone_pfns
[MAX_NR_ZONES
] = { 0, };
31 #ifdef CONFIG_ZONE_DMA32
32 max_zone_pfns
[ZONE_DMA32
] = PFN_DOWN(min(4UL * SZ_1G
,
33 (unsigned long) PFN_PHYS(max_low_pfn
)));
35 max_zone_pfns
[ZONE_NORMAL
] = max_low_pfn
;
37 free_area_init_nodes(max_zone_pfns
);
40 void setup_zero_page(void)
42 memset((void *)empty_zero_page
, 0, PAGE_SIZE
);
45 void __init
paging_init(void)
48 local_flush_tlb_all();
52 void __init
mem_init(void)
56 #endif /* CONFIG_FLATMEM */
58 high_memory
= (void *)(__va(PFN_PHYS(max_low_pfn
)));
61 mem_init_print_info(NULL
);
64 void free_initmem(void)
66 free_initmem_default(0);
69 #ifdef CONFIG_BLK_DEV_INITRD
70 void free_initrd_mem(unsigned long start
, unsigned long end
)
73 #endif /* CONFIG_BLK_DEV_INITRD */