blob: 63fa17d121f027ca5c75f09eab994db346316d2b [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001/*
2 * linux/mm/nommu.c
3 *
4 * Replacement code for mm functions to support CPU's that don't
5 * have any form of memory management unit (thus no virtual memory).
6 *
7 * See Documentation/nommu-mmap.txt
8 *
David Howells8feae132009-01-08 12:04:47 +00009 * Copyright (c) 2004-2008 David Howells <dhowells@redhat.com>
Linus Torvalds1da177e2005-04-16 15:20:36 -070010 * Copyright (c) 2000-2003 David McCullough <davidm@snapgear.com>
11 * Copyright (c) 2000-2001 D Jeff Dionne <jeff@uClinux.org>
12 * Copyright (c) 2002 Greg Ungerer <gerg@snapgear.com>
Paul Mundteb6434d2009-01-21 17:45:47 +090013 * Copyright (c) 2007-2009 Paul Mundt <lethal@linux-sh.org>
Linus Torvalds1da177e2005-04-16 15:20:36 -070014 */
15
David Howellsf2b85442007-10-29 13:15:39 +000016#include <linux/module.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070017#include <linux/mm.h>
18#include <linux/mman.h>
19#include <linux/swap.h>
20#include <linux/file.h>
21#include <linux/highmem.h>
22#include <linux/pagemap.h>
23#include <linux/slab.h>
24#include <linux/vmalloc.h>
Roland McGrathfa8e26c2008-07-25 19:45:50 -070025#include <linux/tracehook.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070026#include <linux/blkdev.h>
27#include <linux/backing-dev.h>
28#include <linux/mount.h>
29#include <linux/personality.h>
30#include <linux/security.h>
31#include <linux/syscalls.h>
32
33#include <asm/uaccess.h>
34#include <asm/tlb.h>
35#include <asm/tlbflush.h>
Bernd Schmidteb8cdec2009-09-21 17:03:57 -070036#include <asm/mmu_context.h>
David Howells8feae132009-01-08 12:04:47 +000037#include "internal.h"
38
39static inline __attribute__((format(printf, 1, 2)))
40void no_printk(const char *fmt, ...)
41{
42}
43
44#if 0
45#define kenter(FMT, ...) \
46 printk(KERN_DEBUG "==> %s("FMT")\n", __func__, ##__VA_ARGS__)
47#define kleave(FMT, ...) \
48 printk(KERN_DEBUG "<== %s()"FMT"\n", __func__, ##__VA_ARGS__)
49#define kdebug(FMT, ...) \
50 printk(KERN_DEBUG "xxx" FMT"yyy\n", ##__VA_ARGS__)
51#else
52#define kenter(FMT, ...) \
53 no_printk(KERN_DEBUG "==> %s("FMT")\n", __func__, ##__VA_ARGS__)
54#define kleave(FMT, ...) \
55 no_printk(KERN_DEBUG "<== %s()"FMT"\n", __func__, ##__VA_ARGS__)
56#define kdebug(FMT, ...) \
57 no_printk(KERN_DEBUG FMT"\n", ##__VA_ARGS__)
58#endif
Linus Torvalds1da177e2005-04-16 15:20:36 -070059
60void *high_memory;
61struct page *mem_map;
62unsigned long max_mapnr;
63unsigned long num_physpages;
Hugh Dickins4266c972009-09-23 17:05:53 +010064unsigned long highest_memmap_pfn;
KOSAKI Motohiro00a62ce2009-04-30 15:08:51 -070065struct percpu_counter vm_committed_as;
Linus Torvalds1da177e2005-04-16 15:20:36 -070066int sysctl_overcommit_memory = OVERCOMMIT_GUESS; /* heuristic overcommit */
67int sysctl_overcommit_ratio = 50; /* default is 50% */
68int sysctl_max_map_count = DEFAULT_MAX_MAP_COUNT;
David Howellsfc4d5c22009-05-06 16:03:05 -070069int sysctl_nr_trim_pages = CONFIG_NOMMU_INITIAL_TRIM_EXCESS;
Linus Torvalds1da177e2005-04-16 15:20:36 -070070int heap_stack_gap = 0;
71
David Howells33e5d7692009-04-02 16:56:32 -070072atomic_long_t mmap_pages_allocated;
David Howells8feae132009-01-08 12:04:47 +000073
Linus Torvalds1da177e2005-04-16 15:20:36 -070074EXPORT_SYMBOL(mem_map);
Wu, Bryan6a04de62007-04-11 23:28:47 -070075EXPORT_SYMBOL(num_physpages);
Linus Torvalds1da177e2005-04-16 15:20:36 -070076
David Howells8feae132009-01-08 12:04:47 +000077/* list of mapped, potentially shareable regions */
78static struct kmem_cache *vm_region_jar;
79struct rb_root nommu_region_tree = RB_ROOT;
80DECLARE_RWSEM(nommu_region_sem);
Linus Torvalds1da177e2005-04-16 15:20:36 -070081
Alexey Dobriyanf0f37e22009-09-27 22:29:37 +040082const struct vm_operations_struct generic_file_vm_ops = {
Linus Torvalds1da177e2005-04-16 15:20:36 -070083};
84
85/*
Linus Torvalds1da177e2005-04-16 15:20:36 -070086 * Return the total memory allocated for this pointer, not
87 * just what the caller asked for.
88 *
89 * Doesn't have to be accurate, i.e. may have races.
90 */
91unsigned int kobjsize(const void *objp)
92{
93 struct page *page;
94
Michael Hennerich4016a132008-04-28 02:13:38 -070095 /*
96 * If the object we have should not have ksize performed on it,
97 * return size of 0
98 */
Paul Mundt5a1603b2008-06-12 16:29:55 +090099 if (!objp || !virt_addr_valid(objp))
Paul Mundt6cfd53fc2008-06-05 22:46:08 -0700100 return 0;
101
102 page = virt_to_head_page(objp);
Paul Mundt6cfd53fc2008-06-05 22:46:08 -0700103
104 /*
105 * If the allocator sets PageSlab, we know the pointer came from
106 * kmalloc().
107 */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700108 if (PageSlab(page))
109 return ksize(objp);
110
Paul Mundt6cfd53fc2008-06-05 22:46:08 -0700111 /*
Paul Mundtab2e83e2009-01-08 12:04:48 +0000112 * If it's not a compound page, see if we have a matching VMA
113 * region. This test is intentionally done in reverse order,
114 * so if there's no VMA, we still fall through and hand back
115 * PAGE_SIZE for 0-order pages.
116 */
117 if (!PageCompound(page)) {
118 struct vm_area_struct *vma;
119
120 vma = find_vma(current->mm, (unsigned long)objp);
121 if (vma)
122 return vma->vm_end - vma->vm_start;
123 }
124
125 /*
Paul Mundt6cfd53fc2008-06-05 22:46:08 -0700126 * The ksize() function is only guaranteed to work for pointers
Paul Mundt5a1603b2008-06-12 16:29:55 +0900127 * returned by kmalloc(). So handle arbitrary pointers here.
Paul Mundt6cfd53fc2008-06-05 22:46:08 -0700128 */
Paul Mundt5a1603b2008-06-12 16:29:55 +0900129 return PAGE_SIZE << compound_order(page);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700130}
131
Nick Pigginb291f002008-10-18 20:26:44 -0700132int __get_user_pages(struct task_struct *tsk, struct mm_struct *mm,
Hugh Dickins4266c972009-09-23 17:05:53 +0100133 unsigned long start, int nr_pages, unsigned int foll_flags,
Peter Zijlstra9d737772009-06-25 11:58:55 +0200134 struct page **pages, struct vm_area_struct **vmas)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700135{
Sonic Zhang910e46d2006-09-27 01:50:17 -0700136 struct vm_area_struct *vma;
David Howells7b4d5b82006-09-27 01:50:18 -0700137 unsigned long vm_flags;
138 int i;
139
140 /* calculate required read or write permissions.
Hugh Dickins58fa8792009-09-21 17:03:31 -0700141 * If FOLL_FORCE is set, we only require the "MAY" flags.
David Howells7b4d5b82006-09-27 01:50:18 -0700142 */
Hugh Dickins58fa8792009-09-21 17:03:31 -0700143 vm_flags = (foll_flags & FOLL_WRITE) ?
144 (VM_WRITE | VM_MAYWRITE) : (VM_READ | VM_MAYREAD);
145 vm_flags &= (foll_flags & FOLL_FORCE) ?
146 (VM_MAYREAD | VM_MAYWRITE) : (VM_READ | VM_WRITE);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700147
Peter Zijlstra9d737772009-06-25 11:58:55 +0200148 for (i = 0; i < nr_pages; i++) {
David Howells7561e8c2010-03-25 16:48:38 +0000149 vma = find_vma(mm, start);
David Howells7b4d5b82006-09-27 01:50:18 -0700150 if (!vma)
151 goto finish_or_fault;
152
153 /* protect what we can, including chardevs */
Hugh Dickins1c3aff12009-09-21 17:03:24 -0700154 if ((vma->vm_flags & (VM_IO | VM_PFNMAP)) ||
155 !(vm_flags & vma->vm_flags))
David Howells7b4d5b82006-09-27 01:50:18 -0700156 goto finish_or_fault;
Sonic Zhang910e46d2006-09-27 01:50:17 -0700157
Linus Torvalds1da177e2005-04-16 15:20:36 -0700158 if (pages) {
159 pages[i] = virt_to_page(start);
160 if (pages[i])
161 page_cache_get(pages[i]);
162 }
163 if (vmas)
Sonic Zhang910e46d2006-09-27 01:50:17 -0700164 vmas[i] = vma;
David Howellse1ee65d2010-03-25 16:48:44 +0000165 start = (start + PAGE_SIZE) & PAGE_MASK;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700166 }
David Howells7b4d5b82006-09-27 01:50:18 -0700167
168 return i;
169
170finish_or_fault:
171 return i ? : -EFAULT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700172}
Nick Pigginb291f002008-10-18 20:26:44 -0700173
Nick Pigginb291f002008-10-18 20:26:44 -0700174/*
175 * get a list of pages in an address range belonging to the specified process
176 * and indicate the VMA that covers each page
177 * - this is potentially dodgy as we may end incrementing the page count of a
178 * slab page or a secondary page from a compound page
179 * - don't permit access to VMAs that don't support it, such as I/O mappings
180 */
181int get_user_pages(struct task_struct *tsk, struct mm_struct *mm,
Peter Zijlstra9d737772009-06-25 11:58:55 +0200182 unsigned long start, int nr_pages, int write, int force,
Nick Pigginb291f002008-10-18 20:26:44 -0700183 struct page **pages, struct vm_area_struct **vmas)
184{
185 int flags = 0;
186
187 if (write)
Hugh Dickins58fa8792009-09-21 17:03:31 -0700188 flags |= FOLL_WRITE;
Nick Pigginb291f002008-10-18 20:26:44 -0700189 if (force)
Hugh Dickins58fa8792009-09-21 17:03:31 -0700190 flags |= FOLL_FORCE;
Nick Pigginb291f002008-10-18 20:26:44 -0700191
Peter Zijlstra9d737772009-06-25 11:58:55 +0200192 return __get_user_pages(tsk, mm, start, nr_pages, flags, pages, vmas);
Nick Pigginb291f002008-10-18 20:26:44 -0700193}
Greg Ungerer66aa2b42005-09-12 11:18:10 +1000194EXPORT_SYMBOL(get_user_pages);
195
Paul Mundtdfc2f912009-06-26 04:31:57 +0900196/**
197 * follow_pfn - look up PFN at a user virtual address
198 * @vma: memory mapping
199 * @address: user virtual address
200 * @pfn: location to store found PFN
201 *
202 * Only IO mappings and raw PFN mappings are allowed.
203 *
204 * Returns zero and the pfn at @pfn on success, -ve otherwise.
205 */
206int follow_pfn(struct vm_area_struct *vma, unsigned long address,
207 unsigned long *pfn)
208{
209 if (!(vma->vm_flags & (VM_IO | VM_PFNMAP)))
210 return -EINVAL;
211
212 *pfn = address >> PAGE_SHIFT;
213 return 0;
214}
215EXPORT_SYMBOL(follow_pfn);
216
Linus Torvalds1da177e2005-04-16 15:20:36 -0700217DEFINE_RWLOCK(vmlist_lock);
218struct vm_struct *vmlist;
219
Christoph Lameterb3bdda02008-02-04 22:28:32 -0800220void vfree(const void *addr)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700221{
222 kfree(addr);
223}
Paul Mundtb5073172007-07-21 04:37:25 -0700224EXPORT_SYMBOL(vfree);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700225
Al Virodd0fc662005-10-07 07:46:04 +0100226void *__vmalloc(unsigned long size, gfp_t gfp_mask, pgprot_t prot)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700227{
228 /*
Robert P. J. Day85186092007-10-19 23:11:38 +0200229 * You can't specify __GFP_HIGHMEM with kmalloc() since kmalloc()
230 * returns only a logical address.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700231 */
Nick Piggin84097512006-03-22 00:08:34 -0800232 return kmalloc(size, (gfp_mask | __GFP_COMP) & ~__GFP_HIGHMEM);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700233}
Paul Mundtb5073172007-07-21 04:37:25 -0700234EXPORT_SYMBOL(__vmalloc);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700235
Paul Mundtf905bc42008-02-04 22:29:59 -0800236void *vmalloc_user(unsigned long size)
237{
238 void *ret;
239
240 ret = __vmalloc(size, GFP_KERNEL | __GFP_HIGHMEM | __GFP_ZERO,
241 PAGE_KERNEL);
242 if (ret) {
243 struct vm_area_struct *vma;
244
245 down_write(&current->mm->mmap_sem);
246 vma = find_vma(current->mm, (unsigned long)ret);
247 if (vma)
248 vma->vm_flags |= VM_USERMAP;
249 up_write(&current->mm->mmap_sem);
250 }
251
252 return ret;
253}
254EXPORT_SYMBOL(vmalloc_user);
255
Christoph Lameterb3bdda02008-02-04 22:28:32 -0800256struct page *vmalloc_to_page(const void *addr)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700257{
258 return virt_to_page(addr);
259}
Paul Mundtb5073172007-07-21 04:37:25 -0700260EXPORT_SYMBOL(vmalloc_to_page);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700261
Christoph Lameterb3bdda02008-02-04 22:28:32 -0800262unsigned long vmalloc_to_pfn(const void *addr)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700263{
264 return page_to_pfn(virt_to_page(addr));
265}
Paul Mundtb5073172007-07-21 04:37:25 -0700266EXPORT_SYMBOL(vmalloc_to_pfn);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700267
268long vread(char *buf, char *addr, unsigned long count)
269{
270 memcpy(buf, addr, count);
271 return count;
272}
273
274long vwrite(char *buf, char *addr, unsigned long count)
275{
276 /* Don't allow overflow */
277 if ((unsigned long) addr + count < count)
278 count = -(unsigned long) addr;
279
280 memcpy(addr, buf, count);
281 return(count);
282}
283
284/*
285 * vmalloc - allocate virtually continguos memory
286 *
287 * @size: allocation size
288 *
289 * Allocate enough pages to cover @size from the page level
290 * allocator and map them into continguos kernel virtual space.
291 *
Michael Opdenackerc1c88972006-10-03 23:21:02 +0200292 * For tight control over page level allocator and protection flags
Linus Torvalds1da177e2005-04-16 15:20:36 -0700293 * use __vmalloc() instead.
294 */
295void *vmalloc(unsigned long size)
296{
297 return __vmalloc(size, GFP_KERNEL | __GFP_HIGHMEM, PAGE_KERNEL);
298}
Andrew Mortonf6138882006-02-28 16:59:18 -0800299EXPORT_SYMBOL(vmalloc);
300
301void *vmalloc_node(unsigned long size, int node)
302{
303 return vmalloc(size);
304}
305EXPORT_SYMBOL(vmalloc_node);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700306
Paul Mundt1af446e2008-08-04 16:01:47 +0900307#ifndef PAGE_KERNEL_EXEC
308# define PAGE_KERNEL_EXEC PAGE_KERNEL
309#endif
310
311/**
312 * vmalloc_exec - allocate virtually contiguous, executable memory
313 * @size: allocation size
314 *
315 * Kernel-internal function to allocate enough pages to cover @size
316 * the page level allocator and map them into contiguous and
317 * executable kernel virtual space.
318 *
319 * For tight control over page level allocator and protection flags
320 * use __vmalloc() instead.
321 */
322
323void *vmalloc_exec(unsigned long size)
324{
325 return __vmalloc(size, GFP_KERNEL | __GFP_HIGHMEM, PAGE_KERNEL_EXEC);
326}
327
Paul Mundtb5073172007-07-21 04:37:25 -0700328/**
329 * vmalloc_32 - allocate virtually contiguous memory (32bit addressable)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700330 * @size: allocation size
331 *
332 * Allocate enough 32bit PA addressable pages to cover @size from the
333 * page level allocator and map them into continguos kernel virtual space.
334 */
335void *vmalloc_32(unsigned long size)
336{
337 return __vmalloc(size, GFP_KERNEL, PAGE_KERNEL);
338}
Paul Mundtb5073172007-07-21 04:37:25 -0700339EXPORT_SYMBOL(vmalloc_32);
340
341/**
342 * vmalloc_32_user - allocate zeroed virtually contiguous 32bit memory
343 * @size: allocation size
344 *
345 * The resulting memory area is 32bit addressable and zeroed so it can be
346 * mapped to userspace without leaking data.
Paul Mundtf905bc42008-02-04 22:29:59 -0800347 *
348 * VM_USERMAP is set on the corresponding VMA so that subsequent calls to
349 * remap_vmalloc_range() are permissible.
Paul Mundtb5073172007-07-21 04:37:25 -0700350 */
351void *vmalloc_32_user(unsigned long size)
352{
Paul Mundtf905bc42008-02-04 22:29:59 -0800353 /*
354 * We'll have to sort out the ZONE_DMA bits for 64-bit,
355 * but for now this can simply use vmalloc_user() directly.
356 */
357 return vmalloc_user(size);
Paul Mundtb5073172007-07-21 04:37:25 -0700358}
359EXPORT_SYMBOL(vmalloc_32_user);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700360
361void *vmap(struct page **pages, unsigned int count, unsigned long flags, pgprot_t prot)
362{
363 BUG();
364 return NULL;
365}
Paul Mundtb5073172007-07-21 04:37:25 -0700366EXPORT_SYMBOL(vmap);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700367
Christoph Lameterb3bdda02008-02-04 22:28:32 -0800368void vunmap(const void *addr)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700369{
370 BUG();
371}
Paul Mundtb5073172007-07-21 04:37:25 -0700372EXPORT_SYMBOL(vunmap);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700373
Paul Mundteb6434d2009-01-21 17:45:47 +0900374void *vm_map_ram(struct page **pages, unsigned int count, int node, pgprot_t prot)
375{
376 BUG();
377 return NULL;
378}
379EXPORT_SYMBOL(vm_map_ram);
380
381void vm_unmap_ram(const void *mem, unsigned int count)
382{
383 BUG();
384}
385EXPORT_SYMBOL(vm_unmap_ram);
386
387void vm_unmap_aliases(void)
388{
389}
390EXPORT_SYMBOL_GPL(vm_unmap_aliases);
391
Linus Torvalds1da177e2005-04-16 15:20:36 -0700392/*
Christoph Hellwig1eeb66a2007-05-08 00:27:03 -0700393 * Implement a stub for vmalloc_sync_all() if the architecture chose not to
394 * have one.
395 */
396void __attribute__((weak)) vmalloc_sync_all(void)
397{
398}
399
Paul Mundtb5073172007-07-21 04:37:25 -0700400int vm_insert_page(struct vm_area_struct *vma, unsigned long addr,
401 struct page *page)
402{
403 return -EINVAL;
404}
405EXPORT_SYMBOL(vm_insert_page);
406
Christoph Hellwig1eeb66a2007-05-08 00:27:03 -0700407/*
Linus Torvalds1da177e2005-04-16 15:20:36 -0700408 * sys_brk() for the most part doesn't need the global kernel
409 * lock, except when an application is doing something nasty
410 * like trying to un-brk an area that has already been mapped
411 * to a regular file. in this case, the unmapping will need
412 * to invoke file system routines that need the global lock.
413 */
Heiko Carstens6a6160a2009-01-14 14:14:15 +0100414SYSCALL_DEFINE1(brk, unsigned long, brk)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700415{
416 struct mm_struct *mm = current->mm;
417
418 if (brk < mm->start_brk || brk > mm->context.end_brk)
419 return mm->brk;
420
421 if (mm->brk == brk)
422 return mm->brk;
423
424 /*
425 * Always allow shrinking brk
426 */
427 if (brk <= mm->brk) {
428 mm->brk = brk;
429 return brk;
430 }
431
432 /*
433 * Ok, looks good - let it rip.
434 */
Mike Frysingercfe79c02010-01-06 17:23:23 +0000435 flush_icache_range(mm->brk, brk);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700436 return mm->brk = brk;
437}
438
David Howells8feae132009-01-08 12:04:47 +0000439/*
440 * initialise the VMA and region record slabs
441 */
442void __init mmap_init(void)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700443{
KOSAKI Motohiro00a62ce2009-04-30 15:08:51 -0700444 int ret;
445
446 ret = percpu_counter_init(&vm_committed_as, 0);
447 VM_BUG_ON(ret);
David Howells33e5d7692009-04-02 16:56:32 -0700448 vm_region_jar = KMEM_CACHE(vm_region, SLAB_PANIC);
David Howells8feae132009-01-08 12:04:47 +0000449}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700450
David Howells8feae132009-01-08 12:04:47 +0000451/*
452 * validate the region tree
453 * - the caller must hold the region lock
454 */
455#ifdef CONFIG_DEBUG_NOMMU_REGIONS
456static noinline void validate_nommu_regions(void)
457{
458 struct vm_region *region, *last;
459 struct rb_node *p, *lastp;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700460
David Howells8feae132009-01-08 12:04:47 +0000461 lastp = rb_first(&nommu_region_tree);
462 if (!lastp)
463 return;
464
465 last = rb_entry(lastp, struct vm_region, vm_rb);
David Howells33e5d7692009-04-02 16:56:32 -0700466 BUG_ON(unlikely(last->vm_end <= last->vm_start));
467 BUG_ON(unlikely(last->vm_top < last->vm_end));
David Howells8feae132009-01-08 12:04:47 +0000468
469 while ((p = rb_next(lastp))) {
470 region = rb_entry(p, struct vm_region, vm_rb);
471 last = rb_entry(lastp, struct vm_region, vm_rb);
472
David Howells33e5d7692009-04-02 16:56:32 -0700473 BUG_ON(unlikely(region->vm_end <= region->vm_start));
474 BUG_ON(unlikely(region->vm_top < region->vm_end));
475 BUG_ON(unlikely(region->vm_start < last->vm_top));
David Howells8feae132009-01-08 12:04:47 +0000476
477 lastp = p;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700478 }
479}
David Howells8feae132009-01-08 12:04:47 +0000480#else
David Howells33e5d7692009-04-02 16:56:32 -0700481static void validate_nommu_regions(void)
482{
483}
David Howells8feae132009-01-08 12:04:47 +0000484#endif
485
486/*
487 * add a region into the global tree
488 */
489static void add_nommu_region(struct vm_region *region)
490{
491 struct vm_region *pregion;
492 struct rb_node **p, *parent;
493
494 validate_nommu_regions();
495
David Howells8feae132009-01-08 12:04:47 +0000496 parent = NULL;
497 p = &nommu_region_tree.rb_node;
498 while (*p) {
499 parent = *p;
500 pregion = rb_entry(parent, struct vm_region, vm_rb);
501 if (region->vm_start < pregion->vm_start)
502 p = &(*p)->rb_left;
503 else if (region->vm_start > pregion->vm_start)
504 p = &(*p)->rb_right;
505 else if (pregion == region)
506 return;
507 else
508 BUG();
509 }
510
511 rb_link_node(&region->vm_rb, parent, p);
512 rb_insert_color(&region->vm_rb, &nommu_region_tree);
513
514 validate_nommu_regions();
515}
516
517/*
518 * delete a region from the global tree
519 */
520static void delete_nommu_region(struct vm_region *region)
521{
522 BUG_ON(!nommu_region_tree.rb_node);
523
524 validate_nommu_regions();
525 rb_erase(&region->vm_rb, &nommu_region_tree);
526 validate_nommu_regions();
527}
528
529/*
530 * free a contiguous series of pages
531 */
532static void free_page_series(unsigned long from, unsigned long to)
533{
534 for (; from < to; from += PAGE_SIZE) {
535 struct page *page = virt_to_page(from);
536
537 kdebug("- free %lx", from);
David Howells33e5d7692009-04-02 16:56:32 -0700538 atomic_long_dec(&mmap_pages_allocated);
David Howells8feae132009-01-08 12:04:47 +0000539 if (page_count(page) != 1)
David Howells33e5d7692009-04-02 16:56:32 -0700540 kdebug("free page %p: refcount not one: %d",
541 page, page_count(page));
David Howells8feae132009-01-08 12:04:47 +0000542 put_page(page);
543 }
544}
545
546/*
547 * release a reference to a region
David Howells33e5d7692009-04-02 16:56:32 -0700548 * - the caller must hold the region semaphore for writing, which this releases
Paul Mundtdd8632a2009-01-08 12:04:47 +0000549 * - the region may not have been added to the tree yet, in which case vm_top
David Howells8feae132009-01-08 12:04:47 +0000550 * will equal vm_start
551 */
552static void __put_nommu_region(struct vm_region *region)
553 __releases(nommu_region_sem)
554{
David Howells1e2ae592010-01-15 17:01:33 -0800555 kenter("%p{%d}", region, region->vm_usage);
David Howells8feae132009-01-08 12:04:47 +0000556
557 BUG_ON(!nommu_region_tree.rb_node);
558
David Howells1e2ae592010-01-15 17:01:33 -0800559 if (--region->vm_usage == 0) {
Paul Mundtdd8632a2009-01-08 12:04:47 +0000560 if (region->vm_top > region->vm_start)
David Howells8feae132009-01-08 12:04:47 +0000561 delete_nommu_region(region);
562 up_write(&nommu_region_sem);
563
564 if (region->vm_file)
565 fput(region->vm_file);
566
567 /* IO memory and memory shared directly out of the pagecache
568 * from ramfs/tmpfs mustn't be released here */
569 if (region->vm_flags & VM_MAPPED_COPY) {
570 kdebug("free series");
Paul Mundtdd8632a2009-01-08 12:04:47 +0000571 free_page_series(region->vm_start, region->vm_top);
David Howells8feae132009-01-08 12:04:47 +0000572 }
573 kmem_cache_free(vm_region_jar, region);
574 } else {
575 up_write(&nommu_region_sem);
576 }
577}
578
579/*
580 * release a reference to a region
581 */
582static void put_nommu_region(struct vm_region *region)
583{
584 down_write(&nommu_region_sem);
585 __put_nommu_region(region);
586}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700587
David Howells30340972006-09-27 01:50:20 -0700588/*
Bernd Schmidteb8cdec2009-09-21 17:03:57 -0700589 * update protection on a vma
590 */
591static void protect_vma(struct vm_area_struct *vma, unsigned long flags)
592{
593#ifdef CONFIG_MPU
594 struct mm_struct *mm = vma->vm_mm;
595 long start = vma->vm_start & PAGE_MASK;
596 while (start < vma->vm_end) {
597 protect_page(mm, start, flags);
598 start += PAGE_SIZE;
599 }
600 update_protections(mm);
601#endif
602}
603
604/*
David Howells30340972006-09-27 01:50:20 -0700605 * add a VMA into a process's mm_struct in the appropriate place in the list
David Howells8feae132009-01-08 12:04:47 +0000606 * and tree and add to the address space's page tree also if not an anonymous
607 * page
David Howells30340972006-09-27 01:50:20 -0700608 * - should be called with mm->mmap_sem held writelocked
609 */
David Howells8feae132009-01-08 12:04:47 +0000610static void add_vma_to_mm(struct mm_struct *mm, struct vm_area_struct *vma)
David Howells30340972006-09-27 01:50:20 -0700611{
David Howells8feae132009-01-08 12:04:47 +0000612 struct vm_area_struct *pvma, **pp;
613 struct address_space *mapping;
614 struct rb_node **p, *parent;
David Howells30340972006-09-27 01:50:20 -0700615
David Howells8feae132009-01-08 12:04:47 +0000616 kenter(",%p", vma);
617
618 BUG_ON(!vma->vm_region);
619
620 mm->map_count++;
621 vma->vm_mm = mm;
622
Bernd Schmidteb8cdec2009-09-21 17:03:57 -0700623 protect_vma(vma, vma->vm_flags);
624
David Howells8feae132009-01-08 12:04:47 +0000625 /* add the VMA to the mapping */
626 if (vma->vm_file) {
627 mapping = vma->vm_file->f_mapping;
628
629 flush_dcache_mmap_lock(mapping);
630 vma_prio_tree_insert(vma, &mapping->i_mmap);
631 flush_dcache_mmap_unlock(mapping);
632 }
633
634 /* add the VMA to the tree */
635 parent = NULL;
636 p = &mm->mm_rb.rb_node;
637 while (*p) {
638 parent = *p;
639 pvma = rb_entry(parent, struct vm_area_struct, vm_rb);
640
641 /* sort by: start addr, end addr, VMA struct addr in that order
642 * (the latter is necessary as we may get identical VMAs) */
643 if (vma->vm_start < pvma->vm_start)
644 p = &(*p)->rb_left;
645 else if (vma->vm_start > pvma->vm_start)
646 p = &(*p)->rb_right;
647 else if (vma->vm_end < pvma->vm_end)
648 p = &(*p)->rb_left;
649 else if (vma->vm_end > pvma->vm_end)
650 p = &(*p)->rb_right;
651 else if (vma < pvma)
652 p = &(*p)->rb_left;
653 else if (vma > pvma)
654 p = &(*p)->rb_right;
655 else
656 BUG();
657 }
658
659 rb_link_node(&vma->vm_rb, parent, p);
660 rb_insert_color(&vma->vm_rb, &mm->mm_rb);
661
662 /* add VMA to the VMA list also */
663 for (pp = &mm->mmap; (pvma = *pp); pp = &(*pp)->vm_next) {
664 if (pvma->vm_start > vma->vm_start)
David Howells30340972006-09-27 01:50:20 -0700665 break;
David Howells8feae132009-01-08 12:04:47 +0000666 if (pvma->vm_start < vma->vm_start)
667 continue;
668 if (pvma->vm_end < vma->vm_end)
669 break;
670 }
David Howells30340972006-09-27 01:50:20 -0700671
David Howells8feae132009-01-08 12:04:47 +0000672 vma->vm_next = *pp;
673 *pp = vma;
674}
675
676/*
677 * delete a VMA from its owning mm_struct and address space
678 */
679static void delete_vma_from_mm(struct vm_area_struct *vma)
680{
681 struct vm_area_struct **pp;
682 struct address_space *mapping;
683 struct mm_struct *mm = vma->vm_mm;
684
685 kenter("%p", vma);
686
Bernd Schmidteb8cdec2009-09-21 17:03:57 -0700687 protect_vma(vma, 0);
688
David Howells8feae132009-01-08 12:04:47 +0000689 mm->map_count--;
690 if (mm->mmap_cache == vma)
691 mm->mmap_cache = NULL;
692
693 /* remove the VMA from the mapping */
694 if (vma->vm_file) {
695 mapping = vma->vm_file->f_mapping;
696
697 flush_dcache_mmap_lock(mapping);
698 vma_prio_tree_remove(vma, &mapping->i_mmap);
699 flush_dcache_mmap_unlock(mapping);
700 }
701
702 /* remove from the MM's tree and list */
703 rb_erase(&vma->vm_rb, &mm->mm_rb);
704 for (pp = &mm->mmap; *pp; pp = &(*pp)->vm_next) {
705 if (*pp == vma) {
706 *pp = vma->vm_next;
707 break;
708 }
709 }
710
711 vma->vm_mm = NULL;
712}
713
714/*
715 * destroy a VMA record
716 */
717static void delete_vma(struct mm_struct *mm, struct vm_area_struct *vma)
718{
719 kenter("%p", vma);
720 if (vma->vm_ops && vma->vm_ops->close)
721 vma->vm_ops->close(vma);
722 if (vma->vm_file) {
723 fput(vma->vm_file);
724 if (vma->vm_flags & VM_EXECUTABLE)
725 removed_exe_file_vma(mm);
726 }
727 put_nommu_region(vma->vm_region);
728 kmem_cache_free(vm_area_cachep, vma);
David Howells30340972006-09-27 01:50:20 -0700729}
730
731/*
732 * look up the first VMA in which addr resides, NULL if none
733 * - should be called with mm->mmap_sem at least held readlocked
734 */
735struct vm_area_struct *find_vma(struct mm_struct *mm, unsigned long addr)
736{
David Howells8feae132009-01-08 12:04:47 +0000737 struct vm_area_struct *vma;
738 struct rb_node *n = mm->mm_rb.rb_node;
David Howells30340972006-09-27 01:50:20 -0700739
David Howells8feae132009-01-08 12:04:47 +0000740 /* check the cache first */
741 vma = mm->mmap_cache;
742 if (vma && vma->vm_start <= addr && vma->vm_end > addr)
743 return vma;
744
745 /* trawl the tree (there may be multiple mappings in which addr
746 * resides) */
747 for (n = rb_first(&mm->mm_rb); n; n = rb_next(n)) {
748 vma = rb_entry(n, struct vm_area_struct, vm_rb);
749 if (vma->vm_start > addr)
750 return NULL;
751 if (vma->vm_end > addr) {
752 mm->mmap_cache = vma;
753 return vma;
754 }
David Howells30340972006-09-27 01:50:20 -0700755 }
756
David Howells30340972006-09-27 01:50:20 -0700757 return NULL;
758}
759EXPORT_SYMBOL(find_vma);
760
761/*
David Howells930e6522006-09-27 01:50:22 -0700762 * find a VMA
763 * - we don't extend stack VMAs under NOMMU conditions
764 */
765struct vm_area_struct *find_extend_vma(struct mm_struct *mm, unsigned long addr)
766{
David Howells7561e8c2010-03-25 16:48:38 +0000767 return find_vma(mm, addr);
David Howells930e6522006-09-27 01:50:22 -0700768}
769
David Howells8feae132009-01-08 12:04:47 +0000770/*
771 * expand a stack to a given address
772 * - not supported under NOMMU conditions
773 */
Greg Ungerer57c8f632007-07-15 23:38:28 -0700774int expand_stack(struct vm_area_struct *vma, unsigned long address)
775{
776 return -ENOMEM;
777}
778
David Howells930e6522006-09-27 01:50:22 -0700779/*
David Howells6fa5f802006-09-27 01:50:21 -0700780 * look up the first VMA exactly that exactly matches addr
781 * - should be called with mm->mmap_sem at least held readlocked
782 */
David Howells8feae132009-01-08 12:04:47 +0000783static struct vm_area_struct *find_vma_exact(struct mm_struct *mm,
784 unsigned long addr,
785 unsigned long len)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700786{
787 struct vm_area_struct *vma;
David Howells8feae132009-01-08 12:04:47 +0000788 struct rb_node *n = mm->mm_rb.rb_node;
789 unsigned long end = addr + len;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700790
David Howells8feae132009-01-08 12:04:47 +0000791 /* check the cache first */
792 vma = mm->mmap_cache;
793 if (vma && vma->vm_start == addr && vma->vm_end == end)
794 return vma;
795
796 /* trawl the tree (there may be multiple mappings in which addr
797 * resides) */
798 for (n = rb_first(&mm->mm_rb); n; n = rb_next(n)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700799 vma = rb_entry(n, struct vm_area_struct, vm_rb);
David Howells8feae132009-01-08 12:04:47 +0000800 if (vma->vm_start < addr)
801 continue;
802 if (vma->vm_start > addr)
803 return NULL;
804 if (vma->vm_end == end) {
805 mm->mmap_cache = vma;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700806 return vma;
David Howells8feae132009-01-08 12:04:47 +0000807 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700808 }
809
810 return NULL;
811}
812
David Howells30340972006-09-27 01:50:20 -0700813/*
Linus Torvalds1da177e2005-04-16 15:20:36 -0700814 * determine whether a mapping should be permitted and, if so, what sort of
815 * mapping we're capable of supporting
816 */
817static int validate_mmap_request(struct file *file,
818 unsigned long addr,
819 unsigned long len,
820 unsigned long prot,
821 unsigned long flags,
822 unsigned long pgoff,
823 unsigned long *_capabilities)
824{
David Howells8feae132009-01-08 12:04:47 +0000825 unsigned long capabilities, rlen;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700826 unsigned long reqprot = prot;
827 int ret;
828
829 /* do the simple checks first */
David Howells06aab5a2009-09-24 12:33:48 +0100830 if (flags & MAP_FIXED) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700831 printk(KERN_DEBUG
832 "%d: Can't do fixed-address/overlay mmap of RAM\n",
833 current->pid);
834 return -EINVAL;
835 }
836
837 if ((flags & MAP_TYPE) != MAP_PRIVATE &&
838 (flags & MAP_TYPE) != MAP_SHARED)
839 return -EINVAL;
840
Mike Frysingerf81cff0d2006-12-06 12:02:59 +1000841 if (!len)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700842 return -EINVAL;
843
Mike Frysingerf81cff0d2006-12-06 12:02:59 +1000844 /* Careful about overflows.. */
David Howells8feae132009-01-08 12:04:47 +0000845 rlen = PAGE_ALIGN(len);
846 if (!rlen || rlen > TASK_SIZE)
Mike Frysingerf81cff0d2006-12-06 12:02:59 +1000847 return -ENOMEM;
848
Linus Torvalds1da177e2005-04-16 15:20:36 -0700849 /* offset overflow? */
David Howells8feae132009-01-08 12:04:47 +0000850 if ((pgoff + (rlen >> PAGE_SHIFT)) < pgoff)
Mike Frysingerf81cff0d2006-12-06 12:02:59 +1000851 return -EOVERFLOW;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700852
853 if (file) {
854 /* validate file mapping requests */
855 struct address_space *mapping;
856
857 /* files must support mmap */
858 if (!file->f_op || !file->f_op->mmap)
859 return -ENODEV;
860
861 /* work out if what we've got could possibly be shared
862 * - we support chardevs that provide their own "memory"
863 * - we support files/blockdevs that are memory backed
864 */
865 mapping = file->f_mapping;
866 if (!mapping)
Josef Sipeke9536ae2006-12-08 02:37:21 -0800867 mapping = file->f_path.dentry->d_inode->i_mapping;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700868
869 capabilities = 0;
870 if (mapping && mapping->backing_dev_info)
871 capabilities = mapping->backing_dev_info->capabilities;
872
873 if (!capabilities) {
874 /* no explicit capabilities set, so assume some
875 * defaults */
Josef Sipeke9536ae2006-12-08 02:37:21 -0800876 switch (file->f_path.dentry->d_inode->i_mode & S_IFMT) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700877 case S_IFREG:
878 case S_IFBLK:
879 capabilities = BDI_CAP_MAP_COPY;
880 break;
881
882 case S_IFCHR:
883 capabilities =
884 BDI_CAP_MAP_DIRECT |
885 BDI_CAP_READ_MAP |
886 BDI_CAP_WRITE_MAP;
887 break;
888
889 default:
890 return -EINVAL;
891 }
892 }
893
894 /* eliminate any capabilities that we can't support on this
895 * device */
896 if (!file->f_op->get_unmapped_area)
897 capabilities &= ~BDI_CAP_MAP_DIRECT;
898 if (!file->f_op->read)
899 capabilities &= ~BDI_CAP_MAP_COPY;
900
Graff Yang28d7a6a2009-08-18 14:11:17 -0700901 /* The file shall have been opened with read permission. */
902 if (!(file->f_mode & FMODE_READ))
903 return -EACCES;
904
Linus Torvalds1da177e2005-04-16 15:20:36 -0700905 if (flags & MAP_SHARED) {
906 /* do checks for writing, appending and locking */
907 if ((prot & PROT_WRITE) &&
908 !(file->f_mode & FMODE_WRITE))
909 return -EACCES;
910
Josef Sipeke9536ae2006-12-08 02:37:21 -0800911 if (IS_APPEND(file->f_path.dentry->d_inode) &&
Linus Torvalds1da177e2005-04-16 15:20:36 -0700912 (file->f_mode & FMODE_WRITE))
913 return -EACCES;
914
Josef Sipeke9536ae2006-12-08 02:37:21 -0800915 if (locks_verify_locked(file->f_path.dentry->d_inode))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700916 return -EAGAIN;
917
918 if (!(capabilities & BDI_CAP_MAP_DIRECT))
919 return -ENODEV;
920
921 if (((prot & PROT_READ) && !(capabilities & BDI_CAP_READ_MAP)) ||
922 ((prot & PROT_WRITE) && !(capabilities & BDI_CAP_WRITE_MAP)) ||
923 ((prot & PROT_EXEC) && !(capabilities & BDI_CAP_EXEC_MAP))
924 ) {
925 printk("MAP_SHARED not completely supported on !MMU\n");
926 return -EINVAL;
927 }
928
929 /* we mustn't privatise shared mappings */
930 capabilities &= ~BDI_CAP_MAP_COPY;
931 }
932 else {
933 /* we're going to read the file into private memory we
934 * allocate */
935 if (!(capabilities & BDI_CAP_MAP_COPY))
936 return -ENODEV;
937
938 /* we don't permit a private writable mapping to be
939 * shared with the backing device */
940 if (prot & PROT_WRITE)
941 capabilities &= ~BDI_CAP_MAP_DIRECT;
942 }
943
944 /* handle executable mappings and implied executable
945 * mappings */
Josef Sipeke9536ae2006-12-08 02:37:21 -0800946 if (file->f_path.mnt->mnt_flags & MNT_NOEXEC) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700947 if (prot & PROT_EXEC)
948 return -EPERM;
949 }
950 else if ((prot & PROT_READ) && !(prot & PROT_EXEC)) {
951 /* handle implication of PROT_EXEC by PROT_READ */
952 if (current->personality & READ_IMPLIES_EXEC) {
953 if (capabilities & BDI_CAP_EXEC_MAP)
954 prot |= PROT_EXEC;
955 }
956 }
957 else if ((prot & PROT_READ) &&
958 (prot & PROT_EXEC) &&
959 !(capabilities & BDI_CAP_EXEC_MAP)
960 ) {
961 /* backing file is not executable, try to copy */
962 capabilities &= ~BDI_CAP_MAP_DIRECT;
963 }
964 }
965 else {
966 /* anonymous mappings are always memory backed and can be
967 * privately mapped
968 */
969 capabilities = BDI_CAP_MAP_COPY;
970
971 /* handle PROT_EXEC implication by PROT_READ */
972 if ((prot & PROT_READ) &&
973 (current->personality & READ_IMPLIES_EXEC))
974 prot |= PROT_EXEC;
975 }
976
977 /* allow the security API to have its say */
Eric Parised032182007-06-28 15:55:21 -0400978 ret = security_file_mmap(file, reqprot, prot, flags, addr, 0);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700979 if (ret < 0)
980 return ret;
981
982 /* looks okay */
983 *_capabilities = capabilities;
984 return 0;
985}
986
987/*
988 * we've determined that we can make the mapping, now translate what we
989 * now know into VMA flags
990 */
991static unsigned long determine_vm_flags(struct file *file,
992 unsigned long prot,
993 unsigned long flags,
994 unsigned long capabilities)
995{
996 unsigned long vm_flags;
997
998 vm_flags = calc_vm_prot_bits(prot) | calc_vm_flag_bits(flags);
999 vm_flags |= VM_MAYREAD | VM_MAYWRITE | VM_MAYEXEC;
1000 /* vm_flags |= mm->def_flags; */
1001
1002 if (!(capabilities & BDI_CAP_MAP_DIRECT)) {
1003 /* attempt to share read-only copies of mapped file chunks */
1004 if (file && !(prot & PROT_WRITE))
1005 vm_flags |= VM_MAYSHARE;
1006 }
1007 else {
1008 /* overlay a shareable mapping on the backing device or inode
1009 * if possible - used for chardevs, ramfs/tmpfs/shmfs and
1010 * romfs/cramfs */
1011 if (flags & MAP_SHARED)
1012 vm_flags |= VM_MAYSHARE | VM_SHARED;
1013 else if ((((vm_flags & capabilities) ^ vm_flags) & BDI_CAP_VMFLAGS) == 0)
1014 vm_flags |= VM_MAYSHARE;
1015 }
1016
1017 /* refuse to let anyone share private mappings with this process if
1018 * it's being traced - otherwise breakpoints set in it may interfere
1019 * with another untraced process
1020 */
Roland McGrathfa8e26c2008-07-25 19:45:50 -07001021 if ((flags & MAP_PRIVATE) && tracehook_expect_breakpoints(current))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001022 vm_flags &= ~VM_MAYSHARE;
1023
1024 return vm_flags;
1025}
1026
1027/*
David Howells8feae132009-01-08 12:04:47 +00001028 * set up a shared mapping on a file (the driver or filesystem provides and
1029 * pins the storage)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001030 */
David Howells8feae132009-01-08 12:04:47 +00001031static int do_mmap_shared_file(struct vm_area_struct *vma)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001032{
1033 int ret;
1034
1035 ret = vma->vm_file->f_op->mmap(vma->vm_file, vma);
Paul Mundtdd8632a2009-01-08 12:04:47 +00001036 if (ret == 0) {
1037 vma->vm_region->vm_top = vma->vm_region->vm_end;
David Howells645d83c2009-09-24 15:13:10 +01001038 return 0;
Paul Mundtdd8632a2009-01-08 12:04:47 +00001039 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001040 if (ret != -ENOSYS)
1041 return ret;
1042
David Howells3fa30462010-03-23 13:35:21 -07001043 /* getting -ENOSYS indicates that direct mmap isn't possible (as
1044 * opposed to tried but failed) so we can only give a suitable error as
1045 * it's not possible to make a private copy if MAP_SHARED was given */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001046 return -ENODEV;
1047}
1048
1049/*
1050 * set up a private mapping or an anonymous shared mapping
1051 */
David Howells8feae132009-01-08 12:04:47 +00001052static int do_mmap_private(struct vm_area_struct *vma,
1053 struct vm_region *region,
David Howells645d83c2009-09-24 15:13:10 +01001054 unsigned long len,
1055 unsigned long capabilities)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001056{
David Howells8feae132009-01-08 12:04:47 +00001057 struct page *pages;
1058 unsigned long total, point, n, rlen;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001059 void *base;
David Howells8feae132009-01-08 12:04:47 +00001060 int ret, order;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001061
1062 /* invoke the file's mapping function so that it can keep track of
1063 * shared mappings on devices or memory
1064 * - VM_MAYSHARE will be set if it may attempt to share
1065 */
David Howells645d83c2009-09-24 15:13:10 +01001066 if (capabilities & BDI_CAP_MAP_DIRECT) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001067 ret = vma->vm_file->f_op->mmap(vma->vm_file, vma);
Paul Mundtdd8632a2009-01-08 12:04:47 +00001068 if (ret == 0) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001069 /* shouldn't return success if we're not sharing */
Paul Mundtdd8632a2009-01-08 12:04:47 +00001070 BUG_ON(!(vma->vm_flags & VM_MAYSHARE));
1071 vma->vm_region->vm_top = vma->vm_region->vm_end;
David Howells645d83c2009-09-24 15:13:10 +01001072 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001073 }
Paul Mundtdd8632a2009-01-08 12:04:47 +00001074 if (ret != -ENOSYS)
1075 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001076
1077 /* getting an ENOSYS error indicates that direct mmap isn't
1078 * possible (as opposed to tried but failed) so we'll try to
1079 * make a private copy of the data and map that instead */
1080 }
1081
David Howells8feae132009-01-08 12:04:47 +00001082 rlen = PAGE_ALIGN(len);
1083
Linus Torvalds1da177e2005-04-16 15:20:36 -07001084 /* allocate some memory to hold the mapping
1085 * - note that this may not return a page-aligned address if the object
1086 * we're allocating is smaller than a page
1087 */
David Howells8feae132009-01-08 12:04:47 +00001088 order = get_order(rlen);
1089 kdebug("alloc order %d for %lx", order, len);
1090
1091 pages = alloc_pages(GFP_KERNEL, order);
1092 if (!pages)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001093 goto enomem;
1094
David Howells8feae132009-01-08 12:04:47 +00001095 total = 1 << order;
David Howells33e5d7692009-04-02 16:56:32 -07001096 atomic_long_add(total, &mmap_pages_allocated);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001097
David Howells8feae132009-01-08 12:04:47 +00001098 point = rlen >> PAGE_SHIFT;
Paul Mundtdd8632a2009-01-08 12:04:47 +00001099
1100 /* we allocated a power-of-2 sized page set, so we may want to trim off
1101 * the excess */
1102 if (sysctl_nr_trim_pages && total - point >= sysctl_nr_trim_pages) {
1103 while (total > point) {
1104 order = ilog2(total - point);
1105 n = 1 << order;
1106 kdebug("shave %lu/%lu @%lu", n, total - point, total);
David Howells33e5d7692009-04-02 16:56:32 -07001107 atomic_long_sub(n, &mmap_pages_allocated);
Paul Mundtdd8632a2009-01-08 12:04:47 +00001108 total -= n;
1109 set_page_refcounted(pages + total);
1110 __free_pages(pages + total, order);
1111 }
David Howells8feae132009-01-08 12:04:47 +00001112 }
1113
David Howells8feae132009-01-08 12:04:47 +00001114 for (point = 1; point < total; point++)
1115 set_page_refcounted(&pages[point]);
1116
1117 base = page_address(pages);
1118 region->vm_flags = vma->vm_flags |= VM_MAPPED_COPY;
1119 region->vm_start = (unsigned long) base;
1120 region->vm_end = region->vm_start + rlen;
Paul Mundtdd8632a2009-01-08 12:04:47 +00001121 region->vm_top = region->vm_start + (total << PAGE_SHIFT);
David Howells8feae132009-01-08 12:04:47 +00001122
1123 vma->vm_start = region->vm_start;
1124 vma->vm_end = region->vm_start + len;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001125
1126 if (vma->vm_file) {
1127 /* read the contents of a file into the copy */
1128 mm_segment_t old_fs;
1129 loff_t fpos;
1130
1131 fpos = vma->vm_pgoff;
1132 fpos <<= PAGE_SHIFT;
1133
1134 old_fs = get_fs();
1135 set_fs(KERNEL_DS);
David Howells8feae132009-01-08 12:04:47 +00001136 ret = vma->vm_file->f_op->read(vma->vm_file, base, rlen, &fpos);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001137 set_fs(old_fs);
1138
1139 if (ret < 0)
1140 goto error_free;
1141
1142 /* clear the last little bit */
David Howells8feae132009-01-08 12:04:47 +00001143 if (ret < rlen)
1144 memset(base + ret, 0, rlen - ret);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001145
Linus Torvalds1da177e2005-04-16 15:20:36 -07001146 }
1147
1148 return 0;
1149
1150error_free:
David Howells8feae132009-01-08 12:04:47 +00001151 free_page_series(region->vm_start, region->vm_end);
1152 region->vm_start = vma->vm_start = 0;
1153 region->vm_end = vma->vm_end = 0;
Paul Mundtdd8632a2009-01-08 12:04:47 +00001154 region->vm_top = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001155 return ret;
1156
1157enomem:
Greg Ungerer05ae6fa2009-01-13 17:30:22 +10001158 printk("Allocation of length %lu from process %d (%s) failed\n",
1159 len, current->pid, current->comm);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001160 show_free_areas();
1161 return -ENOMEM;
1162}
1163
1164/*
1165 * handle mapping creation for uClinux
1166 */
1167unsigned long do_mmap_pgoff(struct file *file,
1168 unsigned long addr,
1169 unsigned long len,
1170 unsigned long prot,
1171 unsigned long flags,
1172 unsigned long pgoff)
1173{
David Howells8feae132009-01-08 12:04:47 +00001174 struct vm_area_struct *vma;
1175 struct vm_region *region;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001176 struct rb_node *rb;
David Howells8feae132009-01-08 12:04:47 +00001177 unsigned long capabilities, vm_flags, result;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001178 int ret;
1179
David Howells8feae132009-01-08 12:04:47 +00001180 kenter(",%lx,%lx,%lx,%lx,%lx", addr, len, prot, flags, pgoff);
1181
Linus Torvalds1da177e2005-04-16 15:20:36 -07001182 /* decide whether we should attempt the mapping, and if so what sort of
1183 * mapping */
1184 ret = validate_mmap_request(file, addr, len, prot, flags, pgoff,
1185 &capabilities);
David Howells8feae132009-01-08 12:04:47 +00001186 if (ret < 0) {
1187 kleave(" = %d [val]", ret);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001188 return ret;
David Howells8feae132009-01-08 12:04:47 +00001189 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001190
David Howells06aab5a2009-09-24 12:33:48 +01001191 /* we ignore the address hint */
1192 addr = 0;
1193
Linus Torvalds1da177e2005-04-16 15:20:36 -07001194 /* we've determined that we can make the mapping, now translate what we
1195 * now know into VMA flags */
1196 vm_flags = determine_vm_flags(file, prot, flags, capabilities);
1197
David Howells8feae132009-01-08 12:04:47 +00001198 /* we're going to need to record the mapping */
1199 region = kmem_cache_zalloc(vm_region_jar, GFP_KERNEL);
1200 if (!region)
1201 goto error_getting_region;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001202
David Howells8feae132009-01-08 12:04:47 +00001203 vma = kmem_cache_zalloc(vm_area_cachep, GFP_KERNEL);
1204 if (!vma)
1205 goto error_getting_vma;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001206
David Howells1e2ae592010-01-15 17:01:33 -08001207 region->vm_usage = 1;
David Howells8feae132009-01-08 12:04:47 +00001208 region->vm_flags = vm_flags;
1209 region->vm_pgoff = pgoff;
1210
Rik van Riel5beb4932010-03-05 13:42:07 -08001211 INIT_LIST_HEAD(&vma->anon_vma_chain);
David Howells8feae132009-01-08 12:04:47 +00001212 vma->vm_flags = vm_flags;
1213 vma->vm_pgoff = pgoff;
1214
1215 if (file) {
1216 region->vm_file = file;
1217 get_file(file);
1218 vma->vm_file = file;
1219 get_file(file);
1220 if (vm_flags & VM_EXECUTABLE) {
1221 added_exe_file_vma(current->mm);
1222 vma->vm_mm = current->mm;
1223 }
1224 }
1225
1226 down_write(&nommu_region_sem);
1227
1228 /* if we want to share, we need to check for regions created by other
Linus Torvalds1da177e2005-04-16 15:20:36 -07001229 * mmap() calls that overlap with our proposed mapping
David Howells8feae132009-01-08 12:04:47 +00001230 * - we can only share with a superset match on most regular files
Linus Torvalds1da177e2005-04-16 15:20:36 -07001231 * - shared mappings on character devices and memory backed files are
1232 * permitted to overlap inexactly as far as we are concerned for in
1233 * these cases, sharing is handled in the driver or filesystem rather
1234 * than here
1235 */
1236 if (vm_flags & VM_MAYSHARE) {
David Howells8feae132009-01-08 12:04:47 +00001237 struct vm_region *pregion;
1238 unsigned long pglen, rpglen, pgend, rpgend, start;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001239
David Howells8feae132009-01-08 12:04:47 +00001240 pglen = (len + PAGE_SIZE - 1) >> PAGE_SHIFT;
1241 pgend = pgoff + pglen;
David Howells165b2392007-03-22 00:11:24 -08001242
David Howells8feae132009-01-08 12:04:47 +00001243 for (rb = rb_first(&nommu_region_tree); rb; rb = rb_next(rb)) {
1244 pregion = rb_entry(rb, struct vm_region, vm_rb);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001245
David Howells8feae132009-01-08 12:04:47 +00001246 if (!(pregion->vm_flags & VM_MAYSHARE))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001247 continue;
1248
1249 /* search for overlapping mappings on the same file */
David Howells8feae132009-01-08 12:04:47 +00001250 if (pregion->vm_file->f_path.dentry->d_inode !=
1251 file->f_path.dentry->d_inode)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001252 continue;
1253
David Howells8feae132009-01-08 12:04:47 +00001254 if (pregion->vm_pgoff >= pgend)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001255 continue;
1256
David Howells8feae132009-01-08 12:04:47 +00001257 rpglen = pregion->vm_end - pregion->vm_start;
1258 rpglen = (rpglen + PAGE_SIZE - 1) >> PAGE_SHIFT;
1259 rpgend = pregion->vm_pgoff + rpglen;
1260 if (pgoff >= rpgend)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001261 continue;
1262
David Howells8feae132009-01-08 12:04:47 +00001263 /* handle inexactly overlapping matches between
1264 * mappings */
1265 if ((pregion->vm_pgoff != pgoff || rpglen != pglen) &&
1266 !(pgoff >= pregion->vm_pgoff && pgend <= rpgend)) {
1267 /* new mapping is not a subset of the region */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001268 if (!(capabilities & BDI_CAP_MAP_DIRECT))
1269 goto sharing_violation;
1270 continue;
1271 }
1272
David Howells8feae132009-01-08 12:04:47 +00001273 /* we've found a region we can share */
David Howells1e2ae592010-01-15 17:01:33 -08001274 pregion->vm_usage++;
David Howells8feae132009-01-08 12:04:47 +00001275 vma->vm_region = pregion;
1276 start = pregion->vm_start;
1277 start += (pgoff - pregion->vm_pgoff) << PAGE_SHIFT;
1278 vma->vm_start = start;
1279 vma->vm_end = start + len;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001280
David Howells8feae132009-01-08 12:04:47 +00001281 if (pregion->vm_flags & VM_MAPPED_COPY) {
1282 kdebug("share copy");
1283 vma->vm_flags |= VM_MAPPED_COPY;
1284 } else {
1285 kdebug("share mmap");
1286 ret = do_mmap_shared_file(vma);
1287 if (ret < 0) {
1288 vma->vm_region = NULL;
1289 vma->vm_start = 0;
1290 vma->vm_end = 0;
David Howells1e2ae592010-01-15 17:01:33 -08001291 pregion->vm_usage--;
David Howells8feae132009-01-08 12:04:47 +00001292 pregion = NULL;
1293 goto error_just_free;
1294 }
1295 }
1296 fput(region->vm_file);
1297 kmem_cache_free(vm_region_jar, region);
1298 region = pregion;
1299 result = start;
1300 goto share;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001301 }
1302
Linus Torvalds1da177e2005-04-16 15:20:36 -07001303 /* obtain the address at which to make a shared mapping
1304 * - this is the hook for quasi-memory character devices to
1305 * tell us the location of a shared mapping
1306 */
David Howells645d83c2009-09-24 15:13:10 +01001307 if (capabilities & BDI_CAP_MAP_DIRECT) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001308 addr = file->f_op->get_unmapped_area(file, addr, len,
1309 pgoff, flags);
1310 if (IS_ERR((void *) addr)) {
1311 ret = addr;
1312 if (ret != (unsigned long) -ENOSYS)
David Howells8feae132009-01-08 12:04:47 +00001313 goto error_just_free;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001314
1315 /* the driver refused to tell us where to site
1316 * the mapping so we'll have to attempt to copy
1317 * it */
1318 ret = (unsigned long) -ENODEV;
1319 if (!(capabilities & BDI_CAP_MAP_COPY))
David Howells8feae132009-01-08 12:04:47 +00001320 goto error_just_free;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001321
1322 capabilities &= ~BDI_CAP_MAP_DIRECT;
David Howells8feae132009-01-08 12:04:47 +00001323 } else {
1324 vma->vm_start = region->vm_start = addr;
1325 vma->vm_end = region->vm_end = addr + len;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001326 }
1327 }
1328 }
1329
David Howells8feae132009-01-08 12:04:47 +00001330 vma->vm_region = region;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001331
David Howells645d83c2009-09-24 15:13:10 +01001332 /* set up the mapping
1333 * - the region is filled in if BDI_CAP_MAP_DIRECT is still set
1334 */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001335 if (file && vma->vm_flags & VM_SHARED)
David Howells8feae132009-01-08 12:04:47 +00001336 ret = do_mmap_shared_file(vma);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001337 else
David Howells645d83c2009-09-24 15:13:10 +01001338 ret = do_mmap_private(vma, region, len, capabilities);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001339 if (ret < 0)
David Howells645d83c2009-09-24 15:13:10 +01001340 goto error_just_free;
1341 add_nommu_region(region);
David Howells8feae132009-01-08 12:04:47 +00001342
Jie Zhangea637632009-12-14 18:00:02 -08001343 /* clear anonymous mappings that don't ask for uninitialized data */
1344 if (!vma->vm_file && !(flags & MAP_UNINITIALIZED))
1345 memset((void *)region->vm_start, 0,
1346 region->vm_end - region->vm_start);
1347
Linus Torvalds1da177e2005-04-16 15:20:36 -07001348 /* okay... we have a mapping; now we have to register it */
David Howells8feae132009-01-08 12:04:47 +00001349 result = vma->vm_start;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001350
Linus Torvalds1da177e2005-04-16 15:20:36 -07001351 current->mm->total_vm += len >> PAGE_SHIFT;
1352
David Howells8feae132009-01-08 12:04:47 +00001353share:
1354 add_vma_to_mm(current->mm, vma);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001355
Mike Frysingercfe79c02010-01-06 17:23:23 +00001356 /* we flush the region from the icache only when the first executable
1357 * mapping of it is made */
1358 if (vma->vm_flags & VM_EXEC && !region->vm_icache_flushed) {
1359 flush_icache_range(region->vm_start, region->vm_end);
1360 region->vm_icache_flushed = true;
1361 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001362
Mike Frysingercfe79c02010-01-06 17:23:23 +00001363 up_write(&nommu_region_sem);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001364
David Howells8feae132009-01-08 12:04:47 +00001365 kleave(" = %lx", result);
1366 return result;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001367
David Howells8feae132009-01-08 12:04:47 +00001368error_just_free:
1369 up_write(&nommu_region_sem);
1370error:
David Howells89a86402009-10-30 13:13:26 +00001371 if (region->vm_file)
1372 fput(region->vm_file);
David Howells8feae132009-01-08 12:04:47 +00001373 kmem_cache_free(vm_region_jar, region);
David Howells89a86402009-10-30 13:13:26 +00001374 if (vma->vm_file)
1375 fput(vma->vm_file);
David Howells8feae132009-01-08 12:04:47 +00001376 if (vma->vm_flags & VM_EXECUTABLE)
1377 removed_exe_file_vma(vma->vm_mm);
1378 kmem_cache_free(vm_area_cachep, vma);
1379 kleave(" = %d", ret);
1380 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001381
David Howells8feae132009-01-08 12:04:47 +00001382sharing_violation:
1383 up_write(&nommu_region_sem);
1384 printk(KERN_WARNING "Attempt to share mismatched mappings\n");
1385 ret = -EINVAL;
1386 goto error;
1387
1388error_getting_vma:
1389 kmem_cache_free(vm_region_jar, region);
1390 printk(KERN_WARNING "Allocation of vma for %lu byte allocation"
1391 " from process %d failed\n",
Linus Torvalds1da177e2005-04-16 15:20:36 -07001392 len, current->pid);
1393 show_free_areas();
1394 return -ENOMEM;
1395
David Howells8feae132009-01-08 12:04:47 +00001396error_getting_region:
1397 printk(KERN_WARNING "Allocation of vm region for %lu byte allocation"
1398 " from process %d failed\n",
Linus Torvalds1da177e2005-04-16 15:20:36 -07001399 len, current->pid);
1400 show_free_areas();
1401 return -ENOMEM;
1402}
Paul Mundtb5073172007-07-21 04:37:25 -07001403EXPORT_SYMBOL(do_mmap_pgoff);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001404
Hugh Dickins66f0dc42009-12-30 20:17:34 +00001405SYSCALL_DEFINE6(mmap_pgoff, unsigned long, addr, unsigned long, len,
1406 unsigned long, prot, unsigned long, flags,
1407 unsigned long, fd, unsigned long, pgoff)
1408{
1409 struct file *file = NULL;
1410 unsigned long retval = -EBADF;
1411
1412 if (!(flags & MAP_ANONYMOUS)) {
1413 file = fget(fd);
1414 if (!file)
1415 goto out;
1416 }
1417
1418 flags &= ~(MAP_EXECUTABLE | MAP_DENYWRITE);
1419
1420 down_write(&current->mm->mmap_sem);
1421 retval = do_mmap_pgoff(file, addr, len, prot, flags, pgoff);
1422 up_write(&current->mm->mmap_sem);
1423
1424 if (file)
1425 fput(file);
1426out:
1427 return retval;
1428}
1429
Christoph Hellwiga4679372010-03-10 15:21:15 -08001430#ifdef __ARCH_WANT_SYS_OLD_MMAP
1431struct mmap_arg_struct {
1432 unsigned long addr;
1433 unsigned long len;
1434 unsigned long prot;
1435 unsigned long flags;
1436 unsigned long fd;
1437 unsigned long offset;
1438};
1439
1440SYSCALL_DEFINE1(old_mmap, struct mmap_arg_struct __user *, arg)
1441{
1442 struct mmap_arg_struct a;
1443
1444 if (copy_from_user(&a, arg, sizeof(a)))
1445 return -EFAULT;
1446 if (a.offset & ~PAGE_MASK)
1447 return -EINVAL;
1448
1449 return sys_mmap_pgoff(a.addr, a.len, a.prot, a.flags, a.fd,
1450 a.offset >> PAGE_SHIFT);
1451}
1452#endif /* __ARCH_WANT_SYS_OLD_MMAP */
1453
Linus Torvalds1da177e2005-04-16 15:20:36 -07001454/*
David Howells8feae132009-01-08 12:04:47 +00001455 * split a vma into two pieces at address 'addr', a new vma is allocated either
1456 * for the first part or the tail.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001457 */
David Howells8feae132009-01-08 12:04:47 +00001458int split_vma(struct mm_struct *mm, struct vm_area_struct *vma,
1459 unsigned long addr, int new_below)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001460{
David Howells8feae132009-01-08 12:04:47 +00001461 struct vm_area_struct *new;
1462 struct vm_region *region;
1463 unsigned long npages;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001464
David Howells8feae132009-01-08 12:04:47 +00001465 kenter("");
Linus Torvalds1da177e2005-04-16 15:20:36 -07001466
David Howells779c1022010-01-15 17:01:34 -08001467 /* we're only permitted to split anonymous regions (these should have
1468 * only a single usage on the region) */
1469 if (vma->vm_file)
David Howells8feae132009-01-08 12:04:47 +00001470 return -ENOMEM;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001471
David Howells8feae132009-01-08 12:04:47 +00001472 if (mm->map_count >= sysctl_max_map_count)
1473 return -ENOMEM;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001474
David Howells8feae132009-01-08 12:04:47 +00001475 region = kmem_cache_alloc(vm_region_jar, GFP_KERNEL);
1476 if (!region)
1477 return -ENOMEM;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001478
David Howells8feae132009-01-08 12:04:47 +00001479 new = kmem_cache_alloc(vm_area_cachep, GFP_KERNEL);
1480 if (!new) {
1481 kmem_cache_free(vm_region_jar, region);
1482 return -ENOMEM;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001483 }
David Howells8feae132009-01-08 12:04:47 +00001484
1485 /* most fields are the same, copy all, and then fixup */
1486 *new = *vma;
1487 *region = *vma->vm_region;
1488 new->vm_region = region;
1489
1490 npages = (addr - vma->vm_start) >> PAGE_SHIFT;
1491
1492 if (new_below) {
Paul Mundtdd8632a2009-01-08 12:04:47 +00001493 region->vm_top = region->vm_end = new->vm_end = addr;
David Howells8feae132009-01-08 12:04:47 +00001494 } else {
1495 region->vm_start = new->vm_start = addr;
1496 region->vm_pgoff = new->vm_pgoff += npages;
1497 }
1498
1499 if (new->vm_ops && new->vm_ops->open)
1500 new->vm_ops->open(new);
1501
1502 delete_vma_from_mm(vma);
1503 down_write(&nommu_region_sem);
1504 delete_nommu_region(vma->vm_region);
1505 if (new_below) {
1506 vma->vm_region->vm_start = vma->vm_start = addr;
1507 vma->vm_region->vm_pgoff = vma->vm_pgoff += npages;
1508 } else {
1509 vma->vm_region->vm_end = vma->vm_end = addr;
Paul Mundtdd8632a2009-01-08 12:04:47 +00001510 vma->vm_region->vm_top = addr;
David Howells8feae132009-01-08 12:04:47 +00001511 }
1512 add_nommu_region(vma->vm_region);
1513 add_nommu_region(new->vm_region);
1514 up_write(&nommu_region_sem);
1515 add_vma_to_mm(mm, vma);
1516 add_vma_to_mm(mm, new);
1517 return 0;
1518}
1519
1520/*
1521 * shrink a VMA by removing the specified chunk from either the beginning or
1522 * the end
1523 */
1524static int shrink_vma(struct mm_struct *mm,
1525 struct vm_area_struct *vma,
1526 unsigned long from, unsigned long to)
1527{
1528 struct vm_region *region;
1529
1530 kenter("");
1531
1532 /* adjust the VMA's pointers, which may reposition it in the MM's tree
1533 * and list */
1534 delete_vma_from_mm(vma);
1535 if (from > vma->vm_start)
1536 vma->vm_end = from;
1537 else
1538 vma->vm_start = to;
1539 add_vma_to_mm(mm, vma);
1540
1541 /* cut the backing region down to size */
1542 region = vma->vm_region;
David Howells1e2ae592010-01-15 17:01:33 -08001543 BUG_ON(region->vm_usage != 1);
David Howells8feae132009-01-08 12:04:47 +00001544
1545 down_write(&nommu_region_sem);
1546 delete_nommu_region(region);
Paul Mundtdd8632a2009-01-08 12:04:47 +00001547 if (from > region->vm_start) {
1548 to = region->vm_top;
1549 region->vm_top = region->vm_end = from;
1550 } else {
David Howells8feae132009-01-08 12:04:47 +00001551 region->vm_start = to;
Paul Mundtdd8632a2009-01-08 12:04:47 +00001552 }
David Howells8feae132009-01-08 12:04:47 +00001553 add_nommu_region(region);
1554 up_write(&nommu_region_sem);
1555
1556 free_page_series(from, to);
1557 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001558}
1559
David Howells30340972006-09-27 01:50:20 -07001560/*
1561 * release a mapping
David Howells8feae132009-01-08 12:04:47 +00001562 * - under NOMMU conditions the chunk to be unmapped must be backed by a single
1563 * VMA, though it need not cover the whole VMA
David Howells30340972006-09-27 01:50:20 -07001564 */
David Howells8feae132009-01-08 12:04:47 +00001565int do_munmap(struct mm_struct *mm, unsigned long start, size_t len)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001566{
David Howells8feae132009-01-08 12:04:47 +00001567 struct vm_area_struct *vma;
1568 struct rb_node *rb;
1569 unsigned long end = start + len;
1570 int ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001571
David Howells8feae132009-01-08 12:04:47 +00001572 kenter(",%lx,%zx", start, len);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001573
David Howells8feae132009-01-08 12:04:47 +00001574 if (len == 0)
1575 return -EINVAL;
1576
1577 /* find the first potentially overlapping VMA */
1578 vma = find_vma(mm, start);
1579 if (!vma) {
David Howells33e5d7692009-04-02 16:56:32 -07001580 static int limit = 0;
1581 if (limit < 5) {
1582 printk(KERN_WARNING
1583 "munmap of memory not mmapped by process %d"
1584 " (%s): 0x%lx-0x%lx\n",
1585 current->pid, current->comm,
1586 start, start + len - 1);
1587 limit++;
1588 }
David Howells8feae132009-01-08 12:04:47 +00001589 return -EINVAL;
David Howells30340972006-09-27 01:50:20 -07001590 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001591
David Howells8feae132009-01-08 12:04:47 +00001592 /* we're allowed to split an anonymous VMA but not a file-backed one */
1593 if (vma->vm_file) {
1594 do {
1595 if (start > vma->vm_start) {
1596 kleave(" = -EINVAL [miss]");
1597 return -EINVAL;
1598 }
1599 if (end == vma->vm_end)
1600 goto erase_whole_vma;
1601 rb = rb_next(&vma->vm_rb);
1602 vma = rb_entry(rb, struct vm_area_struct, vm_rb);
1603 } while (rb);
1604 kleave(" = -EINVAL [split file]");
1605 return -EINVAL;
1606 } else {
1607 /* the chunk must be a subset of the VMA found */
1608 if (start == vma->vm_start && end == vma->vm_end)
1609 goto erase_whole_vma;
1610 if (start < vma->vm_start || end > vma->vm_end) {
1611 kleave(" = -EINVAL [superset]");
1612 return -EINVAL;
1613 }
1614 if (start & ~PAGE_MASK) {
1615 kleave(" = -EINVAL [unaligned start]");
1616 return -EINVAL;
1617 }
1618 if (end != vma->vm_end && end & ~PAGE_MASK) {
1619 kleave(" = -EINVAL [unaligned split]");
1620 return -EINVAL;
1621 }
1622 if (start != vma->vm_start && end != vma->vm_end) {
1623 ret = split_vma(mm, vma, start, 1);
1624 if (ret < 0) {
1625 kleave(" = %d [split]", ret);
1626 return ret;
1627 }
1628 }
1629 return shrink_vma(mm, vma, start, end);
1630 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001631
David Howells8feae132009-01-08 12:04:47 +00001632erase_whole_vma:
1633 delete_vma_from_mm(vma);
1634 delete_vma(mm, vma);
1635 kleave(" = 0");
Linus Torvalds1da177e2005-04-16 15:20:36 -07001636 return 0;
1637}
Paul Mundtb5073172007-07-21 04:37:25 -07001638EXPORT_SYMBOL(do_munmap);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001639
Heiko Carstens6a6160a2009-01-14 14:14:15 +01001640SYSCALL_DEFINE2(munmap, unsigned long, addr, size_t, len)
David Howells30340972006-09-27 01:50:20 -07001641{
1642 int ret;
1643 struct mm_struct *mm = current->mm;
1644
1645 down_write(&mm->mmap_sem);
1646 ret = do_munmap(mm, addr, len);
1647 up_write(&mm->mmap_sem);
1648 return ret;
1649}
1650
1651/*
David Howells8feae132009-01-08 12:04:47 +00001652 * release all the mappings made in a process's VM space
David Howells30340972006-09-27 01:50:20 -07001653 */
David Howells8feae132009-01-08 12:04:47 +00001654void exit_mmap(struct mm_struct *mm)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001655{
David Howells8feae132009-01-08 12:04:47 +00001656 struct vm_area_struct *vma;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001657
David Howells8feae132009-01-08 12:04:47 +00001658 if (!mm)
1659 return;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001660
David Howells8feae132009-01-08 12:04:47 +00001661 kenter("");
Linus Torvalds1da177e2005-04-16 15:20:36 -07001662
David Howells8feae132009-01-08 12:04:47 +00001663 mm->total_vm = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001664
David Howells8feae132009-01-08 12:04:47 +00001665 while ((vma = mm->mmap)) {
1666 mm->mmap = vma->vm_next;
1667 delete_vma_from_mm(vma);
1668 delete_vma(mm, vma);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001669 }
David Howells8feae132009-01-08 12:04:47 +00001670
1671 kleave("");
Linus Torvalds1da177e2005-04-16 15:20:36 -07001672}
1673
Linus Torvalds1da177e2005-04-16 15:20:36 -07001674unsigned long do_brk(unsigned long addr, unsigned long len)
1675{
1676 return -ENOMEM;
1677}
1678
1679/*
David Howells6fa5f802006-09-27 01:50:21 -07001680 * expand (or shrink) an existing mapping, potentially moving it at the same
1681 * time (controlled by the MREMAP_MAYMOVE flag and available VM space)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001682 *
David Howells6fa5f802006-09-27 01:50:21 -07001683 * under NOMMU conditions, we only permit changing a mapping's size, and only
David Howells8feae132009-01-08 12:04:47 +00001684 * as long as it stays within the region allocated by do_mmap_private() and the
1685 * block is not shareable
Linus Torvalds1da177e2005-04-16 15:20:36 -07001686 *
David Howells6fa5f802006-09-27 01:50:21 -07001687 * MREMAP_FIXED is not supported under NOMMU conditions
Linus Torvalds1da177e2005-04-16 15:20:36 -07001688 */
1689unsigned long do_mremap(unsigned long addr,
1690 unsigned long old_len, unsigned long new_len,
1691 unsigned long flags, unsigned long new_addr)
1692{
David Howells6fa5f802006-09-27 01:50:21 -07001693 struct vm_area_struct *vma;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001694
1695 /* insanity checks first */
David Howells8feae132009-01-08 12:04:47 +00001696 if (old_len == 0 || new_len == 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001697 return (unsigned long) -EINVAL;
1698
David Howells8feae132009-01-08 12:04:47 +00001699 if (addr & ~PAGE_MASK)
1700 return -EINVAL;
1701
Linus Torvalds1da177e2005-04-16 15:20:36 -07001702 if (flags & MREMAP_FIXED && new_addr != addr)
1703 return (unsigned long) -EINVAL;
1704
David Howells8feae132009-01-08 12:04:47 +00001705 vma = find_vma_exact(current->mm, addr, old_len);
David Howells6fa5f802006-09-27 01:50:21 -07001706 if (!vma)
1707 return (unsigned long) -EINVAL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001708
David Howells6fa5f802006-09-27 01:50:21 -07001709 if (vma->vm_end != vma->vm_start + old_len)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001710 return (unsigned long) -EFAULT;
1711
David Howells6fa5f802006-09-27 01:50:21 -07001712 if (vma->vm_flags & VM_MAYSHARE)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001713 return (unsigned long) -EPERM;
1714
David Howells8feae132009-01-08 12:04:47 +00001715 if (new_len > vma->vm_region->vm_end - vma->vm_region->vm_start)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001716 return (unsigned long) -ENOMEM;
1717
1718 /* all checks complete - do it */
David Howells6fa5f802006-09-27 01:50:21 -07001719 vma->vm_end = vma->vm_start + new_len;
David Howells6fa5f802006-09-27 01:50:21 -07001720 return vma->vm_start;
1721}
Paul Mundtb5073172007-07-21 04:37:25 -07001722EXPORT_SYMBOL(do_mremap);
David Howells6fa5f802006-09-27 01:50:21 -07001723
Heiko Carstens6a6160a2009-01-14 14:14:15 +01001724SYSCALL_DEFINE5(mremap, unsigned long, addr, unsigned long, old_len,
1725 unsigned long, new_len, unsigned long, flags,
1726 unsigned long, new_addr)
David Howells6fa5f802006-09-27 01:50:21 -07001727{
1728 unsigned long ret;
1729
1730 down_write(&current->mm->mmap_sem);
1731 ret = do_mremap(addr, old_len, new_len, flags, new_addr);
1732 up_write(&current->mm->mmap_sem);
1733 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001734}
1735
Linus Torvalds6aab3412005-11-28 14:34:23 -08001736struct page *follow_page(struct vm_area_struct *vma, unsigned long address,
Hugh Dickinsdeceb6c2005-10-29 18:16:33 -07001737 unsigned int foll_flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001738{
1739 return NULL;
1740}
1741
Linus Torvalds1da177e2005-04-16 15:20:36 -07001742int remap_pfn_range(struct vm_area_struct *vma, unsigned long from,
1743 unsigned long to, unsigned long size, pgprot_t prot)
1744{
Greg Ungerer66aa2b42005-09-12 11:18:10 +10001745 vma->vm_start = vma->vm_pgoff << PAGE_SHIFT;
1746 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001747}
Luke Yang22c4af42006-07-14 00:24:09 -07001748EXPORT_SYMBOL(remap_pfn_range);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001749
Paul Mundtf905bc42008-02-04 22:29:59 -08001750int remap_vmalloc_range(struct vm_area_struct *vma, void *addr,
1751 unsigned long pgoff)
1752{
1753 unsigned int size = vma->vm_end - vma->vm_start;
1754
1755 if (!(vma->vm_flags & VM_USERMAP))
1756 return -EINVAL;
1757
1758 vma->vm_start = (unsigned long)(addr + (pgoff << PAGE_SHIFT));
1759 vma->vm_end = vma->vm_start + size;
1760
1761 return 0;
1762}
1763EXPORT_SYMBOL(remap_vmalloc_range);
1764
Linus Torvalds1da177e2005-04-16 15:20:36 -07001765void swap_unplug_io_fn(struct backing_dev_info *bdi, struct page *page)
1766{
1767}
1768
1769unsigned long arch_get_unmapped_area(struct file *file, unsigned long addr,
1770 unsigned long len, unsigned long pgoff, unsigned long flags)
1771{
1772 return -ENOMEM;
1773}
1774
Wolfgang Wander1363c3c2005-06-21 17:14:49 -07001775void arch_unmap_area(struct mm_struct *mm, unsigned long addr)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001776{
1777}
1778
Linus Torvalds1da177e2005-04-16 15:20:36 -07001779void unmap_mapping_range(struct address_space *mapping,
1780 loff_t const holebegin, loff_t const holelen,
1781 int even_cows)
1782{
1783}
Luke Yang22c4af42006-07-14 00:24:09 -07001784EXPORT_SYMBOL(unmap_mapping_range);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001785
1786/*
1787 * Check that a process has enough memory to allocate a new virtual
1788 * mapping. 0 means there is enough memory for the allocation to
1789 * succeed and -ENOMEM implies there is not.
1790 *
1791 * We currently support three overcommit policies, which are set via the
1792 * vm.overcommit_memory sysctl. See Documentation/vm/overcommit-accounting
1793 *
1794 * Strict overcommit modes added 2002 Feb 26 by Alan Cox.
1795 * Additional code 2002 Jul 20 by Robert Love.
1796 *
1797 * cap_sys_admin is 1 if the process has admin privileges, 0 otherwise.
1798 *
1799 * Note this is a helper function intended to be used by LSMs which
1800 * wish to use this logic.
1801 */
Alan Cox34b4e4a2007-08-22 14:01:28 -07001802int __vm_enough_memory(struct mm_struct *mm, long pages, int cap_sys_admin)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001803{
1804 unsigned long free, allowed;
1805
1806 vm_acct_memory(pages);
1807
1808 /*
1809 * Sometimes we want to use more memory than we have
1810 */
1811 if (sysctl_overcommit_memory == OVERCOMMIT_ALWAYS)
1812 return 0;
1813
1814 if (sysctl_overcommit_memory == OVERCOMMIT_GUESS) {
1815 unsigned long n;
1816
Christoph Lameter347ce432006-06-30 01:55:35 -07001817 free = global_page_state(NR_FILE_PAGES);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001818 free += nr_swap_pages;
1819
1820 /*
1821 * Any slabs which are created with the
1822 * SLAB_RECLAIM_ACCOUNT flag claim to have contents
1823 * which are reclaimable, under pressure. The dentry
1824 * cache and most inode caches should fall into this
1825 */
Christoph Lameter972d1a72006-09-25 23:31:51 -07001826 free += global_page_state(NR_SLAB_RECLAIMABLE);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001827
1828 /*
1829 * Leave the last 3% for root
1830 */
1831 if (!cap_sys_admin)
1832 free -= free / 32;
1833
1834 if (free > pages)
1835 return 0;
1836
1837 /*
1838 * nr_free_pages() is very expensive on large systems,
1839 * only call if we're about to fail.
1840 */
1841 n = nr_free_pages();
Hideo AOKId5ddc792006-04-10 22:53:01 -07001842
1843 /*
1844 * Leave reserved pages. The pages are not for anonymous pages.
1845 */
1846 if (n <= totalreserve_pages)
1847 goto error;
1848 else
1849 n -= totalreserve_pages;
1850
1851 /*
1852 * Leave the last 3% for root
1853 */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001854 if (!cap_sys_admin)
1855 n -= n / 32;
1856 free += n;
1857
1858 if (free > pages)
1859 return 0;
Hideo AOKId5ddc792006-04-10 22:53:01 -07001860
1861 goto error;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001862 }
1863
1864 allowed = totalram_pages * sysctl_overcommit_ratio / 100;
1865 /*
1866 * Leave the last 3% for root
1867 */
1868 if (!cap_sys_admin)
1869 allowed -= allowed / 32;
1870 allowed += total_swap_pages;
1871
1872 /* Don't let a single process grow too big:
1873 leave 3% of the size of this process for other processes */
Alan Cox731572d2008-10-29 14:01:20 -07001874 if (mm)
1875 allowed -= mm->total_vm / 32;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001876
KOSAKI Motohiro00a62ce2009-04-30 15:08:51 -07001877 if (percpu_counter_read_positive(&vm_committed_as) < allowed)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001878 return 0;
KOSAKI Motohiro00a62ce2009-04-30 15:08:51 -07001879
Hideo AOKId5ddc792006-04-10 22:53:01 -07001880error:
Linus Torvalds1da177e2005-04-16 15:20:36 -07001881 vm_unacct_memory(pages);
1882
1883 return -ENOMEM;
1884}
1885
1886int in_gate_area_no_task(unsigned long addr)
1887{
1888 return 0;
1889}
David Howellsb0e15192006-01-06 00:11:42 -08001890
Nick Piggind0217ac2007-07-19 01:47:03 -07001891int filemap_fault(struct vm_area_struct *vma, struct vm_fault *vmf)
David Howellsb0e15192006-01-06 00:11:42 -08001892{
1893 BUG();
Nick Piggind0217ac2007-07-19 01:47:03 -07001894 return 0;
David Howellsb0e15192006-01-06 00:11:42 -08001895}
Paul Mundtb5073172007-07-21 04:37:25 -07001896EXPORT_SYMBOL(filemap_fault);
David Howells0ec76a12006-09-27 01:50:15 -07001897
1898/*
1899 * Access another process' address space.
1900 * - source/target buffer must be kernel space
1901 */
1902int access_process_vm(struct task_struct *tsk, unsigned long addr, void *buf, int len, int write)
1903{
David Howells0ec76a12006-09-27 01:50:15 -07001904 struct vm_area_struct *vma;
1905 struct mm_struct *mm;
1906
1907 if (addr + len < addr)
1908 return 0;
1909
1910 mm = get_task_mm(tsk);
1911 if (!mm)
1912 return 0;
1913
1914 down_read(&mm->mmap_sem);
1915
1916 /* the access must start within one of the target process's mappings */
David Howells0159b142006-09-27 01:50:16 -07001917 vma = find_vma(mm, addr);
1918 if (vma) {
David Howells0ec76a12006-09-27 01:50:15 -07001919 /* don't overrun this mapping */
1920 if (addr + len >= vma->vm_end)
1921 len = vma->vm_end - addr;
1922
1923 /* only read or write mappings where it is permitted */
David Howellsd00c7b992006-09-27 01:50:19 -07001924 if (write && vma->vm_flags & VM_MAYWRITE)
Jie Zhang79597222010-01-06 17:23:28 +00001925 copy_to_user_page(vma, NULL, addr,
1926 (void *) addr, buf, len);
David Howellsd00c7b992006-09-27 01:50:19 -07001927 else if (!write && vma->vm_flags & VM_MAYREAD)
Jie Zhang79597222010-01-06 17:23:28 +00001928 copy_from_user_page(vma, NULL, addr,
1929 buf, (void *) addr, len);
David Howells0ec76a12006-09-27 01:50:15 -07001930 else
1931 len = 0;
1932 } else {
1933 len = 0;
1934 }
1935
1936 up_read(&mm->mmap_sem);
1937 mmput(mm);
1938 return len;
1939}
David Howells7e660872010-01-15 17:01:39 -08001940
1941/**
1942 * nommu_shrink_inode_mappings - Shrink the shared mappings on an inode
1943 * @inode: The inode to check
1944 * @size: The current filesize of the inode
1945 * @newsize: The proposed filesize of the inode
1946 *
1947 * Check the shared mappings on an inode on behalf of a shrinking truncate to
1948 * make sure that that any outstanding VMAs aren't broken and then shrink the
1949 * vm_regions that extend that beyond so that do_mmap_pgoff() doesn't
1950 * automatically grant mappings that are too large.
1951 */
1952int nommu_shrink_inode_mappings(struct inode *inode, size_t size,
1953 size_t newsize)
1954{
1955 struct vm_area_struct *vma;
1956 struct prio_tree_iter iter;
1957 struct vm_region *region;
1958 pgoff_t low, high;
1959 size_t r_size, r_top;
1960
1961 low = newsize >> PAGE_SHIFT;
1962 high = (size + PAGE_SIZE - 1) >> PAGE_SHIFT;
1963
1964 down_write(&nommu_region_sem);
1965
1966 /* search for VMAs that fall within the dead zone */
1967 vma_prio_tree_foreach(vma, &iter, &inode->i_mapping->i_mmap,
1968 low, high) {
1969 /* found one - only interested if it's shared out of the page
1970 * cache */
1971 if (vma->vm_flags & VM_SHARED) {
1972 up_write(&nommu_region_sem);
1973 return -ETXTBSY; /* not quite true, but near enough */
1974 }
1975 }
1976
1977 /* reduce any regions that overlap the dead zone - if in existence,
1978 * these will be pointed to by VMAs that don't overlap the dead zone
1979 *
1980 * we don't check for any regions that start beyond the EOF as there
1981 * shouldn't be any
1982 */
1983 vma_prio_tree_foreach(vma, &iter, &inode->i_mapping->i_mmap,
1984 0, ULONG_MAX) {
1985 if (!(vma->vm_flags & VM_SHARED))
1986 continue;
1987
1988 region = vma->vm_region;
1989 r_size = region->vm_top - region->vm_start;
1990 r_top = (region->vm_pgoff << PAGE_SHIFT) + r_size;
1991
1992 if (r_top > newsize) {
1993 region->vm_top -= r_top - newsize;
1994 if (region->vm_end > region->vm_top)
1995 region->vm_end = region->vm_top;
1996 }
1997 }
1998
1999 up_write(&nommu_region_sem);
2000 return 0;
2001}