4 * (C) Copyright 1994 Linus Torvalds
5 * (C) Copyright 2002 Christoph Hellwig
7 * Address space accounting code <alan@redhat.com>
8 * (C) Copyright 2002 Red Hat Inc, All Rights Reserved
12 #include <linux/hugetlb.h>
13 #include <linux/slab.h>
14 #include <linux/shm.h>
15 #include <linux/mman.h>
17 #include <linux/highmem.h>
18 #include <linux/security.h>
19 #include <linux/mempolicy.h>
20 #include <linux/personality.h>
21 #include <linux/syscalls.h>
22 #include <linux/swap.h>
23 #include <linux/swapops.h>
24 #include <asm/uaccess.h>
25 #include <asm/pgtable.h>
26 #include <asm/cacheflush.h>
27 #include <asm/tlbflush.h>
30 static inline pgprot_t pgprot_modify(pgprot_t oldprot, pgprot_t newprot)
36 static void change_pte_range(struct mm_struct *mm, pmd_t *pmd,
37 unsigned long addr, unsigned long end, pgprot_t newprot,
38 int dirty_accountable)
43 pte = pte_offset_map_lock(mm, pmd, addr, &ptl);
44 arch_enter_lazy_mmu_mode();
47 if (pte_present(oldpte)) {
50 ptent = ptep_modify_prot_start(mm, addr, pte);
51 ptent = pte_modify(ptent, newprot);
54 * Avoid taking write faults for pages we know to be
57 if (dirty_accountable && pte_dirty(ptent))
58 ptent = pte_mkwrite(ptent);
60 ptep_modify_prot_commit(mm, addr, pte, ptent);
61 #ifdef CONFIG_MIGRATION
62 } else if (!pte_file(oldpte)) {
63 swp_entry_t entry = pte_to_swp_entry(oldpte);
65 if (is_write_migration_entry(entry)) {
67 * A protection check is difficult so
68 * just be safe and disable write
70 make_migration_entry_read(&entry);
71 set_pte_at(mm, addr, pte,
72 swp_entry_to_pte(entry));
77 } while (pte++, addr += PAGE_SIZE, addr != end);
78 arch_leave_lazy_mmu_mode();
79 pte_unmap_unlock(pte - 1, ptl);
82 static inline void change_pmd_range(struct mm_struct *mm, pud_t *pud,
83 unsigned long addr, unsigned long end, pgprot_t newprot,
84 int dirty_accountable)
89 pmd = pmd_offset(pud, addr);
91 next = pmd_addr_end(addr, end);
92 if (pmd_none_or_clear_bad(pmd))
94 change_pte_range(mm, pmd, addr, next, newprot, dirty_accountable);
95 } while (pmd++, addr = next, addr != end);
98 static inline void change_pud_range(struct mm_struct *mm, pgd_t *pgd,
99 unsigned long addr, unsigned long end, pgprot_t newprot,
100 int dirty_accountable)
105 pud = pud_offset(pgd, addr);
107 next = pud_addr_end(addr, end);
108 if (pud_none_or_clear_bad(pud))
110 change_pmd_range(mm, pud, addr, next, newprot, dirty_accountable);
111 } while (pud++, addr = next, addr != end);
114 static void change_protection(struct vm_area_struct *vma,
115 unsigned long addr, unsigned long end, pgprot_t newprot,
116 int dirty_accountable)
118 struct mm_struct *mm = vma->vm_mm;
121 unsigned long start = addr;
124 pgd = pgd_offset(mm, addr);
125 flush_cache_range(vma, addr, end);
127 next = pgd_addr_end(addr, end);
128 if (pgd_none_or_clear_bad(pgd))
130 change_pud_range(mm, pgd, addr, next, newprot, dirty_accountable);
131 } while (pgd++, addr = next, addr != end);
132 flush_tlb_range(vma, start, end);
136 mprotect_fixup(struct vm_area_struct *vma, struct vm_area_struct **pprev,
137 unsigned long start, unsigned long end, unsigned long newflags)
139 struct mm_struct *mm = vma->vm_mm;
140 unsigned long oldflags = vma->vm_flags;
141 long nrpages = (end - start) >> PAGE_SHIFT;
142 unsigned long charged = 0;
145 int dirty_accountable = 0;
147 if (newflags == oldflags) {
153 * If we make a private mapping writable we increase our commit;
154 * but (without finer accounting) cannot reduce our commit if we
155 * make it unwritable again.
157 if (newflags & VM_WRITE) {
158 if (!(oldflags & (VM_ACCOUNT|VM_WRITE|
159 VM_SHARED|VM_NORESERVE))) {
161 if (security_vm_enough_memory(charged))
163 newflags |= VM_ACCOUNT;
168 * First try to merge with previous and/or next vma.
170 pgoff = vma->vm_pgoff + ((start - vma->vm_start) >> PAGE_SHIFT);
171 *pprev = vma_merge(mm, *pprev, start, end, newflags,
172 vma->anon_vma, vma->vm_file, pgoff, vma_policy(vma));
180 if (start != vma->vm_start) {
181 error = split_vma(mm, vma, start, 1);
186 if (end != vma->vm_end) {
187 error = split_vma(mm, vma, end, 0);
194 * vm_flags and vm_page_prot are protected by the mmap_sem
195 * held in write mode.
197 vma->vm_flags = newflags;
198 vma->vm_page_prot = pgprot_modify(vma->vm_page_prot,
199 vm_get_page_prot(newflags));
201 if (vma_wants_writenotify(vma)) {
202 vma->vm_page_prot = vm_get_page_prot(newflags & ~VM_SHARED);
203 dirty_accountable = 1;
206 if (is_vm_hugetlb_page(vma))
207 hugetlb_change_protection(vma, start, end, vma->vm_page_prot);
209 change_protection(vma, start, end, vma->vm_page_prot, dirty_accountable);
210 vm_stat_account(mm, oldflags, vma->vm_file, -nrpages);
211 vm_stat_account(mm, newflags, vma->vm_file, nrpages);
215 vm_unacct_memory(charged);
220 sys_mprotect(unsigned long start, size_t len, unsigned long prot)
222 unsigned long vm_flags, nstart, end, tmp, reqprot;
223 struct vm_area_struct *vma, *prev;
225 const int grows = prot & (PROT_GROWSDOWN|PROT_GROWSUP);
226 prot &= ~(PROT_GROWSDOWN|PROT_GROWSUP);
227 if (grows == (PROT_GROWSDOWN|PROT_GROWSUP)) /* can't be both */
230 if (start & ~PAGE_MASK)
234 len = PAGE_ALIGN(len);
238 if (!arch_validate_prot(prot))
243 * Does the application expect PROT_READ to imply PROT_EXEC:
245 if ((prot & PROT_READ) && (current->personality & READ_IMPLIES_EXEC))
248 vm_flags = calc_vm_prot_bits(prot);
250 down_write(¤t->mm->mmap_sem);
252 vma = find_vma_prev(current->mm, start, &prev);
256 if (unlikely(grows & PROT_GROWSDOWN)) {
257 if (vma->vm_start >= end)
259 start = vma->vm_start;
261 if (!(vma->vm_flags & VM_GROWSDOWN))
265 if (vma->vm_start > start)
267 if (unlikely(grows & PROT_GROWSUP)) {
270 if (!(vma->vm_flags & VM_GROWSUP))
274 if (start > vma->vm_start)
277 for (nstart = start ; ; ) {
278 unsigned long newflags;
280 /* Here we know that vma->vm_start <= nstart < vma->vm_end. */
282 newflags = vm_flags | (vma->vm_flags & ~(VM_READ | VM_WRITE | VM_EXEC));
284 /* newflags >> 4 shift VM_MAY% in place of VM_% */
285 if ((newflags & ~(newflags >> 4)) & (VM_READ | VM_WRITE | VM_EXEC)) {
290 error = security_file_mprotect(vma, reqprot, prot);
297 error = mprotect_fixup(vma, &prev, nstart, tmp, newflags);
302 if (nstart < prev->vm_end)
303 nstart = prev->vm_end;
308 if (!vma || vma->vm_start != nstart) {
314 up_write(¤t->mm->mmap_sem);