11da177e4SLinus Torvalds /* 21da177e4SLinus Torvalds * mm/mprotect.c 31da177e4SLinus Torvalds * 41da177e4SLinus Torvalds * (C) Copyright 1994 Linus Torvalds 51da177e4SLinus Torvalds * (C) Copyright 2002 Christoph Hellwig 61da177e4SLinus Torvalds * 7046c6884SAlan Cox * Address space accounting code <alan@lxorguk.ukuu.org.uk> 81da177e4SLinus Torvalds * (C) Copyright 2002 Red Hat Inc, All Rights Reserved 91da177e4SLinus Torvalds */ 101da177e4SLinus Torvalds 111da177e4SLinus Torvalds #include <linux/mm.h> 121da177e4SLinus Torvalds #include <linux/hugetlb.h> 131da177e4SLinus Torvalds #include <linux/shm.h> 141da177e4SLinus Torvalds #include <linux/mman.h> 151da177e4SLinus Torvalds #include <linux/fs.h> 161da177e4SLinus Torvalds #include <linux/highmem.h> 171da177e4SLinus Torvalds #include <linux/security.h> 181da177e4SLinus Torvalds #include <linux/mempolicy.h> 191da177e4SLinus Torvalds #include <linux/personality.h> 201da177e4SLinus Torvalds #include <linux/syscalls.h> 210697212aSChristoph Lameter #include <linux/swap.h> 220697212aSChristoph Lameter #include <linux/swapops.h> 23cddb8a5cSAndrea Arcangeli #include <linux/mmu_notifier.h> 2464cdd548SKOSAKI Motohiro #include <linux/migrate.h> 25cdd6c482SIngo Molnar #include <linux/perf_event.h> 2664a9a34eSMel Gorman #include <linux/ksm.h> 271da177e4SLinus Torvalds #include <asm/uaccess.h> 281da177e4SLinus Torvalds #include <asm/pgtable.h> 291da177e4SLinus Torvalds #include <asm/cacheflush.h> 301da177e4SLinus Torvalds #include <asm/tlbflush.h> 311da177e4SLinus Torvalds 3236f88188SKirill A. Shutemov #include "internal.h" 3336f88188SKirill A. Shutemov 341ad9f620SMel Gorman /* 351ad9f620SMel Gorman * For a prot_numa update we only hold mmap_sem for read so there is a 361ad9f620SMel Gorman * potential race with faulting where a pmd was temporarily none. This 371ad9f620SMel Gorman * function checks for a transhuge pmd under the appropriate lock. It 381ad9f620SMel Gorman * returns a pte if it was successfully locked or NULL if it raced with 391ad9f620SMel Gorman * a transhuge insertion. 401ad9f620SMel Gorman */ 411ad9f620SMel Gorman static pte_t *lock_pte_protection(struct vm_area_struct *vma, pmd_t *pmd, 421ad9f620SMel Gorman unsigned long addr, int prot_numa, spinlock_t **ptl) 431ad9f620SMel Gorman { 441ad9f620SMel Gorman pte_t *pte; 451ad9f620SMel Gorman spinlock_t *pmdl; 461ad9f620SMel Gorman 471ad9f620SMel Gorman /* !prot_numa is protected by mmap_sem held for write */ 481ad9f620SMel Gorman if (!prot_numa) 491ad9f620SMel Gorman return pte_offset_map_lock(vma->vm_mm, pmd, addr, ptl); 501ad9f620SMel Gorman 511ad9f620SMel Gorman pmdl = pmd_lock(vma->vm_mm, pmd); 521ad9f620SMel Gorman if (unlikely(pmd_trans_huge(*pmd) || pmd_none(*pmd))) { 531ad9f620SMel Gorman spin_unlock(pmdl); 541ad9f620SMel Gorman return NULL; 551ad9f620SMel Gorman } 561ad9f620SMel Gorman 571ad9f620SMel Gorman pte = pte_offset_map_lock(vma->vm_mm, pmd, addr, ptl); 581ad9f620SMel Gorman spin_unlock(pmdl); 591ad9f620SMel Gorman return pte; 601ad9f620SMel Gorman } 611ad9f620SMel Gorman 624b10e7d5SMel Gorman static unsigned long change_pte_range(struct vm_area_struct *vma, pmd_t *pmd, 63c1e6098bSPeter Zijlstra unsigned long addr, unsigned long end, pgprot_t newprot, 640f19c179SMel Gorman int dirty_accountable, int prot_numa) 651da177e4SLinus Torvalds { 664b10e7d5SMel Gorman struct mm_struct *mm = vma->vm_mm; 670697212aSChristoph Lameter pte_t *pte, oldpte; 68705e87c0SHugh Dickins spinlock_t *ptl; 697da4d641SPeter Zijlstra unsigned long pages = 0; 701da177e4SLinus Torvalds 711ad9f620SMel Gorman pte = lock_pte_protection(vma, pmd, addr, prot_numa, &ptl); 721ad9f620SMel Gorman if (!pte) 731ad9f620SMel Gorman return 0; 741ad9f620SMel Gorman 756606c3e0SZachary Amsden arch_enter_lazy_mmu_mode(); 761da177e4SLinus Torvalds do { 770697212aSChristoph Lameter oldpte = *pte; 780697212aSChristoph Lameter if (pte_present(oldpte)) { 791da177e4SLinus Torvalds pte_t ptent; 80b191f9b1SMel Gorman bool preserve_write = prot_numa && pte_write(oldpte); 811da177e4SLinus Torvalds 82e944fd67SMel Gorman /* 83e944fd67SMel Gorman * Avoid trapping faults against the zero or KSM 84e944fd67SMel Gorman * pages. See similar comment in change_huge_pmd. 85e944fd67SMel Gorman */ 86e944fd67SMel Gorman if (prot_numa) { 87e944fd67SMel Gorman struct page *page; 88e944fd67SMel Gorman 89e944fd67SMel Gorman page = vm_normal_page(vma, addr, oldpte); 90e944fd67SMel Gorman if (!page || PageKsm(page)) 91e944fd67SMel Gorman continue; 9210c1045fSMel Gorman 9310c1045fSMel Gorman /* Avoid TLB flush if possible */ 9410c1045fSMel Gorman if (pte_protnone(oldpte)) 9510c1045fSMel Gorman continue; 96e944fd67SMel Gorman } 97e944fd67SMel Gorman 980c5f83c2SMel Gorman ptent = ptep_modify_prot_start(mm, addr, pte); 99c1e6098bSPeter Zijlstra ptent = pte_modify(ptent, newprot); 100b191f9b1SMel Gorman if (preserve_write) 101b191f9b1SMel Gorman ptent = pte_mkwrite(ptent); 1028a0516edSMel Gorman 1038a0516edSMel Gorman /* Avoid taking write faults for known dirty pages */ 10464e45507SPeter Feiner if (dirty_accountable && pte_dirty(ptent) && 10564e45507SPeter Feiner (pte_soft_dirty(ptent) || 1068a0516edSMel Gorman !(vma->vm_flags & VM_SOFTDIRTY))) { 1079d85d586SAneesh Kumar K.V ptent = pte_mkwrite(ptent); 1088a0516edSMel Gorman } 1099d85d586SAneesh Kumar K.V ptep_modify_prot_commit(mm, addr, pte, ptent); 1104b10e7d5SMel Gorman pages++; 1110661a336SKirill A. Shutemov } else if (IS_ENABLED(CONFIG_MIGRATION)) { 1120697212aSChristoph Lameter swp_entry_t entry = pte_to_swp_entry(oldpte); 1130697212aSChristoph Lameter 1140697212aSChristoph Lameter if (is_write_migration_entry(entry)) { 115c3d16e16SCyrill Gorcunov pte_t newpte; 1160697212aSChristoph Lameter /* 1170697212aSChristoph Lameter * A protection check is difficult so 1180697212aSChristoph Lameter * just be safe and disable write 1190697212aSChristoph Lameter */ 1200697212aSChristoph Lameter make_migration_entry_read(&entry); 121c3d16e16SCyrill Gorcunov newpte = swp_entry_to_pte(entry); 122c3d16e16SCyrill Gorcunov if (pte_swp_soft_dirty(oldpte)) 123c3d16e16SCyrill Gorcunov newpte = pte_swp_mksoft_dirty(newpte); 124c3d16e16SCyrill Gorcunov set_pte_at(mm, addr, pte, newpte); 125e920e14cSMel Gorman 1267da4d641SPeter Zijlstra pages++; 1270697212aSChristoph Lameter } 128e920e14cSMel Gorman } 1291da177e4SLinus Torvalds } while (pte++, addr += PAGE_SIZE, addr != end); 1306606c3e0SZachary Amsden arch_leave_lazy_mmu_mode(); 131705e87c0SHugh Dickins pte_unmap_unlock(pte - 1, ptl); 1327da4d641SPeter Zijlstra 1337da4d641SPeter Zijlstra return pages; 1341da177e4SLinus Torvalds } 1351da177e4SLinus Torvalds 1367d12efaeSAndrew Morton static inline unsigned long change_pmd_range(struct vm_area_struct *vma, 1377d12efaeSAndrew Morton pud_t *pud, unsigned long addr, unsigned long end, 1387d12efaeSAndrew Morton pgprot_t newprot, int dirty_accountable, int prot_numa) 1391da177e4SLinus Torvalds { 1401da177e4SLinus Torvalds pmd_t *pmd; 141a5338093SRik van Riel struct mm_struct *mm = vma->vm_mm; 1421da177e4SLinus Torvalds unsigned long next; 1437da4d641SPeter Zijlstra unsigned long pages = 0; 14472403b4aSMel Gorman unsigned long nr_huge_updates = 0; 145a5338093SRik van Riel unsigned long mni_start = 0; 1461da177e4SLinus Torvalds 1471da177e4SLinus Torvalds pmd = pmd_offset(pud, addr); 1481da177e4SLinus Torvalds do { 14925cbbef1SMel Gorman unsigned long this_pages; 15025cbbef1SMel Gorman 1511da177e4SLinus Torvalds next = pmd_addr_end(addr, end); 15288a9ab6eSRik van Riel if (!pmd_trans_huge(*pmd) && pmd_none_or_clear_bad(pmd)) 15388a9ab6eSRik van Riel continue; 154a5338093SRik van Riel 155a5338093SRik van Riel /* invoke the mmu notifier if the pmd is populated */ 156a5338093SRik van Riel if (!mni_start) { 157a5338093SRik van Riel mni_start = addr; 158a5338093SRik van Riel mmu_notifier_invalidate_range_start(mm, mni_start, end); 159a5338093SRik van Riel } 160a5338093SRik van Riel 161cd7548abSJohannes Weiner if (pmd_trans_huge(*pmd)) { 162cd7548abSJohannes Weiner if (next - addr != HPAGE_PMD_SIZE) 163e180377fSKirill A. Shutemov split_huge_page_pmd(vma, addr, pmd); 164f123d74aSMel Gorman else { 165f123d74aSMel Gorman int nr_ptes = change_huge_pmd(vma, pmd, addr, 166e944fd67SMel Gorman newprot, prot_numa); 167f123d74aSMel Gorman 168f123d74aSMel Gorman if (nr_ptes) { 16972403b4aSMel Gorman if (nr_ptes == HPAGE_PMD_NR) { 17072403b4aSMel Gorman pages += HPAGE_PMD_NR; 17172403b4aSMel Gorman nr_huge_updates++; 17272403b4aSMel Gorman } 1731ad9f620SMel Gorman 1741ad9f620SMel Gorman /* huge pmd was handled */ 175cd7548abSJohannes Weiner continue; 1767da4d641SPeter Zijlstra } 177f123d74aSMel Gorman } 17888a9ab6eSRik van Riel /* fall through, the trans huge pmd just split */ 179cd7548abSJohannes Weiner } 18025cbbef1SMel Gorman this_pages = change_pte_range(vma, pmd, addr, next, newprot, 1810f19c179SMel Gorman dirty_accountable, prot_numa); 18225cbbef1SMel Gorman pages += this_pages; 1831da177e4SLinus Torvalds } while (pmd++, addr = next, addr != end); 1847da4d641SPeter Zijlstra 185a5338093SRik van Riel if (mni_start) 186a5338093SRik van Riel mmu_notifier_invalidate_range_end(mm, mni_start, end); 187a5338093SRik van Riel 18872403b4aSMel Gorman if (nr_huge_updates) 18972403b4aSMel Gorman count_vm_numa_events(NUMA_HUGE_PTE_UPDATES, nr_huge_updates); 1907da4d641SPeter Zijlstra return pages; 1911da177e4SLinus Torvalds } 1921da177e4SLinus Torvalds 1937d12efaeSAndrew Morton static inline unsigned long change_pud_range(struct vm_area_struct *vma, 1947d12efaeSAndrew Morton pgd_t *pgd, unsigned long addr, unsigned long end, 1957d12efaeSAndrew Morton pgprot_t newprot, int dirty_accountable, int prot_numa) 1961da177e4SLinus Torvalds { 1971da177e4SLinus Torvalds pud_t *pud; 1981da177e4SLinus Torvalds unsigned long next; 1997da4d641SPeter Zijlstra unsigned long pages = 0; 2001da177e4SLinus Torvalds 2011da177e4SLinus Torvalds pud = pud_offset(pgd, addr); 2021da177e4SLinus Torvalds do { 2031da177e4SLinus Torvalds next = pud_addr_end(addr, end); 2041da177e4SLinus Torvalds if (pud_none_or_clear_bad(pud)) 2051da177e4SLinus Torvalds continue; 2067da4d641SPeter Zijlstra pages += change_pmd_range(vma, pud, addr, next, newprot, 2074b10e7d5SMel Gorman dirty_accountable, prot_numa); 2081da177e4SLinus Torvalds } while (pud++, addr = next, addr != end); 2097da4d641SPeter Zijlstra 2107da4d641SPeter Zijlstra return pages; 2111da177e4SLinus Torvalds } 2121da177e4SLinus Torvalds 2137da4d641SPeter Zijlstra static unsigned long change_protection_range(struct vm_area_struct *vma, 214c1e6098bSPeter Zijlstra unsigned long addr, unsigned long end, pgprot_t newprot, 2154b10e7d5SMel Gorman int dirty_accountable, int prot_numa) 2161da177e4SLinus Torvalds { 2171da177e4SLinus Torvalds struct mm_struct *mm = vma->vm_mm; 2181da177e4SLinus Torvalds pgd_t *pgd; 2191da177e4SLinus Torvalds unsigned long next; 2201da177e4SLinus Torvalds unsigned long start = addr; 2217da4d641SPeter Zijlstra unsigned long pages = 0; 2221da177e4SLinus Torvalds 2231da177e4SLinus Torvalds BUG_ON(addr >= end); 2241da177e4SLinus Torvalds pgd = pgd_offset(mm, addr); 2251da177e4SLinus Torvalds flush_cache_range(vma, addr, end); 22620841405SRik van Riel set_tlb_flush_pending(mm); 2271da177e4SLinus Torvalds do { 2281da177e4SLinus Torvalds next = pgd_addr_end(addr, end); 2291da177e4SLinus Torvalds if (pgd_none_or_clear_bad(pgd)) 2301da177e4SLinus Torvalds continue; 2317da4d641SPeter Zijlstra pages += change_pud_range(vma, pgd, addr, next, newprot, 2324b10e7d5SMel Gorman dirty_accountable, prot_numa); 2331da177e4SLinus Torvalds } while (pgd++, addr = next, addr != end); 2347da4d641SPeter Zijlstra 2351233d588SIngo Molnar /* Only flush the TLB if we actually modified any entries: */ 2361233d588SIngo Molnar if (pages) 2371da177e4SLinus Torvalds flush_tlb_range(vma, start, end); 23820841405SRik van Riel clear_tlb_flush_pending(mm); 2397da4d641SPeter Zijlstra 2407da4d641SPeter Zijlstra return pages; 2417da4d641SPeter Zijlstra } 2427da4d641SPeter Zijlstra 2437da4d641SPeter Zijlstra unsigned long change_protection(struct vm_area_struct *vma, unsigned long start, 2447da4d641SPeter Zijlstra unsigned long end, pgprot_t newprot, 2454b10e7d5SMel Gorman int dirty_accountable, int prot_numa) 2467da4d641SPeter Zijlstra { 2477da4d641SPeter Zijlstra unsigned long pages; 2487da4d641SPeter Zijlstra 2497da4d641SPeter Zijlstra if (is_vm_hugetlb_page(vma)) 2507da4d641SPeter Zijlstra pages = hugetlb_change_protection(vma, start, end, newprot); 2517da4d641SPeter Zijlstra else 2524b10e7d5SMel Gorman pages = change_protection_range(vma, start, end, newprot, dirty_accountable, prot_numa); 2537da4d641SPeter Zijlstra 2547da4d641SPeter Zijlstra return pages; 2551da177e4SLinus Torvalds } 2561da177e4SLinus Torvalds 257b6a2fea3SOllie Wild int 2581da177e4SLinus Torvalds mprotect_fixup(struct vm_area_struct *vma, struct vm_area_struct **pprev, 2591da177e4SLinus Torvalds unsigned long start, unsigned long end, unsigned long newflags) 2601da177e4SLinus Torvalds { 2611da177e4SLinus Torvalds struct mm_struct *mm = vma->vm_mm; 2621da177e4SLinus Torvalds unsigned long oldflags = vma->vm_flags; 2631da177e4SLinus Torvalds long nrpages = (end - start) >> PAGE_SHIFT; 2641da177e4SLinus Torvalds unsigned long charged = 0; 2651da177e4SLinus Torvalds pgoff_t pgoff; 2661da177e4SLinus Torvalds int error; 267c1e6098bSPeter Zijlstra int dirty_accountable = 0; 2681da177e4SLinus Torvalds 2691da177e4SLinus Torvalds if (newflags == oldflags) { 2701da177e4SLinus Torvalds *pprev = vma; 2711da177e4SLinus Torvalds return 0; 2721da177e4SLinus Torvalds } 2731da177e4SLinus Torvalds 2741da177e4SLinus Torvalds /* 2751da177e4SLinus Torvalds * If we make a private mapping writable we increase our commit; 2761da177e4SLinus Torvalds * but (without finer accounting) cannot reduce our commit if we 2775a6fe125SMel Gorman * make it unwritable again. hugetlb mapping were accounted for 2785a6fe125SMel Gorman * even if read-only so there is no need to account for them here 2791da177e4SLinus Torvalds */ 2801da177e4SLinus Torvalds if (newflags & VM_WRITE) { 2815a6fe125SMel Gorman if (!(oldflags & (VM_ACCOUNT|VM_WRITE|VM_HUGETLB| 282cdfd4325SAndy Whitcroft VM_SHARED|VM_NORESERVE))) { 2831da177e4SLinus Torvalds charged = nrpages; 284191c5424SAl Viro if (security_vm_enough_memory_mm(mm, charged)) 2851da177e4SLinus Torvalds return -ENOMEM; 2861da177e4SLinus Torvalds newflags |= VM_ACCOUNT; 2871da177e4SLinus Torvalds } 2881da177e4SLinus Torvalds } 2891da177e4SLinus Torvalds 2901da177e4SLinus Torvalds /* 2911da177e4SLinus Torvalds * First try to merge with previous and/or next vma. 2921da177e4SLinus Torvalds */ 2931da177e4SLinus Torvalds pgoff = vma->vm_pgoff + ((start - vma->vm_start) >> PAGE_SHIFT); 2941da177e4SLinus Torvalds *pprev = vma_merge(mm, *pprev, start, end, newflags, 295*19a809afSAndrea Arcangeli vma->anon_vma, vma->vm_file, pgoff, vma_policy(vma), 296*19a809afSAndrea Arcangeli vma->vm_userfaultfd_ctx); 2971da177e4SLinus Torvalds if (*pprev) { 2981da177e4SLinus Torvalds vma = *pprev; 2991da177e4SLinus Torvalds goto success; 3001da177e4SLinus Torvalds } 3011da177e4SLinus Torvalds 3021da177e4SLinus Torvalds *pprev = vma; 3031da177e4SLinus Torvalds 3041da177e4SLinus Torvalds if (start != vma->vm_start) { 3051da177e4SLinus Torvalds error = split_vma(mm, vma, start, 1); 3061da177e4SLinus Torvalds if (error) 3071da177e4SLinus Torvalds goto fail; 3081da177e4SLinus Torvalds } 3091da177e4SLinus Torvalds 3101da177e4SLinus Torvalds if (end != vma->vm_end) { 3111da177e4SLinus Torvalds error = split_vma(mm, vma, end, 0); 3121da177e4SLinus Torvalds if (error) 3131da177e4SLinus Torvalds goto fail; 3141da177e4SLinus Torvalds } 3151da177e4SLinus Torvalds 3161da177e4SLinus Torvalds success: 3171da177e4SLinus Torvalds /* 3181da177e4SLinus Torvalds * vm_flags and vm_page_prot are protected by the mmap_sem 3191da177e4SLinus Torvalds * held in write mode. 3201da177e4SLinus Torvalds */ 3211da177e4SLinus Torvalds vma->vm_flags = newflags; 32264e45507SPeter Feiner dirty_accountable = vma_wants_writenotify(vma); 32364e45507SPeter Feiner vma_set_page_prot(vma); 324d08b3851SPeter Zijlstra 3257d12efaeSAndrew Morton change_protection(vma, start, end, vma->vm_page_prot, 3267d12efaeSAndrew Morton dirty_accountable, 0); 3277da4d641SPeter Zijlstra 32836f88188SKirill A. Shutemov /* 32936f88188SKirill A. Shutemov * Private VM_LOCKED VMA becoming writable: trigger COW to avoid major 33036f88188SKirill A. Shutemov * fault on access. 33136f88188SKirill A. Shutemov */ 33236f88188SKirill A. Shutemov if ((oldflags & (VM_WRITE | VM_SHARED | VM_LOCKED)) == VM_LOCKED && 33336f88188SKirill A. Shutemov (newflags & VM_WRITE)) { 33436f88188SKirill A. Shutemov populate_vma_page_range(vma, start, end, NULL); 33536f88188SKirill A. Shutemov } 33636f88188SKirill A. Shutemov 337ab50b8edSHugh Dickins vm_stat_account(mm, oldflags, vma->vm_file, -nrpages); 338ab50b8edSHugh Dickins vm_stat_account(mm, newflags, vma->vm_file, nrpages); 33963bfd738SPekka Enberg perf_event_mmap(vma); 3401da177e4SLinus Torvalds return 0; 3411da177e4SLinus Torvalds 3421da177e4SLinus Torvalds fail: 3431da177e4SLinus Torvalds vm_unacct_memory(charged); 3441da177e4SLinus Torvalds return error; 3451da177e4SLinus Torvalds } 3461da177e4SLinus Torvalds 3476a6160a7SHeiko Carstens SYSCALL_DEFINE3(mprotect, unsigned long, start, size_t, len, 3486a6160a7SHeiko Carstens unsigned long, prot) 3491da177e4SLinus Torvalds { 3501da177e4SLinus Torvalds unsigned long vm_flags, nstart, end, tmp, reqprot; 3511da177e4SLinus Torvalds struct vm_area_struct *vma, *prev; 3521da177e4SLinus Torvalds int error = -EINVAL; 3531da177e4SLinus Torvalds const int grows = prot & (PROT_GROWSDOWN|PROT_GROWSUP); 3541da177e4SLinus Torvalds prot &= ~(PROT_GROWSDOWN|PROT_GROWSUP); 3551da177e4SLinus Torvalds if (grows == (PROT_GROWSDOWN|PROT_GROWSUP)) /* can't be both */ 3561da177e4SLinus Torvalds return -EINVAL; 3571da177e4SLinus Torvalds 3581da177e4SLinus Torvalds if (start & ~PAGE_MASK) 3591da177e4SLinus Torvalds return -EINVAL; 3601da177e4SLinus Torvalds if (!len) 3611da177e4SLinus Torvalds return 0; 3621da177e4SLinus Torvalds len = PAGE_ALIGN(len); 3631da177e4SLinus Torvalds end = start + len; 3641da177e4SLinus Torvalds if (end <= start) 3651da177e4SLinus Torvalds return -ENOMEM; 366b845f313SDave Kleikamp if (!arch_validate_prot(prot)) 3671da177e4SLinus Torvalds return -EINVAL; 3681da177e4SLinus Torvalds 3691da177e4SLinus Torvalds reqprot = prot; 3701da177e4SLinus Torvalds /* 3711da177e4SLinus Torvalds * Does the application expect PROT_READ to imply PROT_EXEC: 3721da177e4SLinus Torvalds */ 373b344e05cSHua Zhong if ((prot & PROT_READ) && (current->personality & READ_IMPLIES_EXEC)) 3741da177e4SLinus Torvalds prot |= PROT_EXEC; 3751da177e4SLinus Torvalds 3761da177e4SLinus Torvalds vm_flags = calc_vm_prot_bits(prot); 3771da177e4SLinus Torvalds 3781da177e4SLinus Torvalds down_write(¤t->mm->mmap_sem); 3791da177e4SLinus Torvalds 380097d5910SLinus Torvalds vma = find_vma(current->mm, start); 3811da177e4SLinus Torvalds error = -ENOMEM; 3821da177e4SLinus Torvalds if (!vma) 3831da177e4SLinus Torvalds goto out; 384097d5910SLinus Torvalds prev = vma->vm_prev; 3851da177e4SLinus Torvalds if (unlikely(grows & PROT_GROWSDOWN)) { 3861da177e4SLinus Torvalds if (vma->vm_start >= end) 3871da177e4SLinus Torvalds goto out; 3881da177e4SLinus Torvalds start = vma->vm_start; 3891da177e4SLinus Torvalds error = -EINVAL; 3901da177e4SLinus Torvalds if (!(vma->vm_flags & VM_GROWSDOWN)) 3911da177e4SLinus Torvalds goto out; 3927d12efaeSAndrew Morton } else { 3931da177e4SLinus Torvalds if (vma->vm_start > start) 3941da177e4SLinus Torvalds goto out; 3951da177e4SLinus Torvalds if (unlikely(grows & PROT_GROWSUP)) { 3961da177e4SLinus Torvalds end = vma->vm_end; 3971da177e4SLinus Torvalds error = -EINVAL; 3981da177e4SLinus Torvalds if (!(vma->vm_flags & VM_GROWSUP)) 3991da177e4SLinus Torvalds goto out; 4001da177e4SLinus Torvalds } 4011da177e4SLinus Torvalds } 4021da177e4SLinus Torvalds if (start > vma->vm_start) 4031da177e4SLinus Torvalds prev = vma; 4041da177e4SLinus Torvalds 4051da177e4SLinus Torvalds for (nstart = start ; ; ) { 4061da177e4SLinus Torvalds unsigned long newflags; 4071da177e4SLinus Torvalds 4081da177e4SLinus Torvalds /* Here we know that vma->vm_start <= nstart < vma->vm_end. */ 4091da177e4SLinus Torvalds 4107d12efaeSAndrew Morton newflags = vm_flags; 4117d12efaeSAndrew Morton newflags |= (vma->vm_flags & ~(VM_READ | VM_WRITE | VM_EXEC)); 4121da177e4SLinus Torvalds 4137e2cff42SPaolo 'Blaisorblade' Giarrusso /* newflags >> 4 shift VM_MAY% in place of VM_% */ 4147e2cff42SPaolo 'Blaisorblade' Giarrusso if ((newflags & ~(newflags >> 4)) & (VM_READ | VM_WRITE | VM_EXEC)) { 4151da177e4SLinus Torvalds error = -EACCES; 4161da177e4SLinus Torvalds goto out; 4171da177e4SLinus Torvalds } 4181da177e4SLinus Torvalds 4191da177e4SLinus Torvalds error = security_file_mprotect(vma, reqprot, prot); 4201da177e4SLinus Torvalds if (error) 4211da177e4SLinus Torvalds goto out; 4221da177e4SLinus Torvalds 4231da177e4SLinus Torvalds tmp = vma->vm_end; 4241da177e4SLinus Torvalds if (tmp > end) 4251da177e4SLinus Torvalds tmp = end; 4261da177e4SLinus Torvalds error = mprotect_fixup(vma, &prev, nstart, tmp, newflags); 4271da177e4SLinus Torvalds if (error) 4281da177e4SLinus Torvalds goto out; 4291da177e4SLinus Torvalds nstart = tmp; 4301da177e4SLinus Torvalds 4311da177e4SLinus Torvalds if (nstart < prev->vm_end) 4321da177e4SLinus Torvalds nstart = prev->vm_end; 4331da177e4SLinus Torvalds if (nstart >= end) 4341da177e4SLinus Torvalds goto out; 4351da177e4SLinus Torvalds 4361da177e4SLinus Torvalds vma = prev->vm_next; 4371da177e4SLinus Torvalds if (!vma || vma->vm_start != nstart) { 4381da177e4SLinus Torvalds error = -ENOMEM; 4391da177e4SLinus Torvalds goto out; 4401da177e4SLinus Torvalds } 4411da177e4SLinus Torvalds } 4421da177e4SLinus Torvalds out: 4431da177e4SLinus Torvalds up_write(¤t->mm->mmap_sem); 4441da177e4SLinus Torvalds return error; 4451da177e4SLinus Torvalds } 446