diff options
Diffstat (limited to 'arch/um/kernel/mem.c')
| -rw-r--r-- | arch/um/kernel/mem.c | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/arch/um/kernel/mem.c b/arch/um/kernel/mem.c index 44e41a35f000..61280167c560 100644 --- a/arch/um/kernel/mem.c +++ b/arch/um/kernel/mem.c | |||
| @@ -24,8 +24,6 @@ | |||
| 24 | #include "init.h" | 24 | #include "init.h" |
| 25 | #include "kern_constants.h" | 25 | #include "kern_constants.h" |
| 26 | 26 | ||
| 27 | extern char __binary_start; | ||
| 28 | |||
| 29 | /* Changed during early boot */ | 27 | /* Changed during early boot */ |
| 30 | unsigned long *empty_zero_page = NULL; | 28 | unsigned long *empty_zero_page = NULL; |
| 31 | unsigned long *empty_bad_page = NULL; | 29 | unsigned long *empty_bad_page = NULL; |
| @@ -65,8 +63,6 @@ static void setup_highmem(unsigned long highmem_start, | |||
| 65 | 63 | ||
| 66 | void mem_init(void) | 64 | void mem_init(void) |
| 67 | { | 65 | { |
| 68 | unsigned long start; | ||
| 69 | |||
| 70 | max_low_pfn = (high_physmem - uml_physmem) >> PAGE_SHIFT; | 66 | max_low_pfn = (high_physmem - uml_physmem) >> PAGE_SHIFT; |
| 71 | 67 | ||
| 72 | /* clear the zero-page */ | 68 | /* clear the zero-page */ |
| @@ -81,13 +77,6 @@ void mem_init(void) | |||
| 81 | free_bootmem(__pa(brk_end), uml_reserved - brk_end); | 77 | free_bootmem(__pa(brk_end), uml_reserved - brk_end); |
| 82 | uml_reserved = brk_end; | 78 | uml_reserved = brk_end; |
| 83 | 79 | ||
| 84 | /* Fill in any hole at the start of the binary */ | ||
| 85 | start = (unsigned long) &__binary_start & PAGE_MASK; | ||
| 86 | if(uml_physmem != start){ | ||
| 87 | map_memory(uml_physmem, __pa(uml_physmem), start - uml_physmem, | ||
| 88 | 1, 1, 0); | ||
| 89 | } | ||
| 90 | |||
| 91 | /* this will put all low memory onto the freelists */ | 80 | /* this will put all low memory onto the freelists */ |
| 92 | totalram_pages = free_all_bootmem(); | 81 | totalram_pages = free_all_bootmem(); |
| 93 | totalhigh_pages = highmem >> PAGE_SHIFT; | 82 | totalhigh_pages = highmem >> PAGE_SHIFT; |
