xref: /openbmc/linux/mm/mprotect.c (revision 25cbbef1924299249756bc4030fcb2436c019813)
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>
261da177e4SLinus Torvalds #include <asm/uaccess.h>
271da177e4SLinus Torvalds #include <asm/pgtable.h>
281da177e4SLinus Torvalds #include <asm/cacheflush.h>
291da177e4SLinus Torvalds #include <asm/tlbflush.h>
301da177e4SLinus Torvalds 
311c12c4cfSVenki Pallipadi #ifndef pgprot_modify
321c12c4cfSVenki Pallipadi static inline pgprot_t pgprot_modify(pgprot_t oldprot, pgprot_t newprot)
331c12c4cfSVenki Pallipadi {
341c12c4cfSVenki Pallipadi 	return newprot;
351c12c4cfSVenki Pallipadi }
361c12c4cfSVenki Pallipadi #endif
371c12c4cfSVenki Pallipadi 
384b10e7d5SMel Gorman static unsigned long change_pte_range(struct vm_area_struct *vma, pmd_t *pmd,
39c1e6098bSPeter Zijlstra 		unsigned long addr, unsigned long end, pgprot_t newprot,
40b795854bSMel Gorman 		int dirty_accountable, int prot_numa, bool *ret_all_same_nidpid)
411da177e4SLinus Torvalds {
424b10e7d5SMel Gorman 	struct mm_struct *mm = vma->vm_mm;
430697212aSChristoph Lameter 	pte_t *pte, oldpte;
44705e87c0SHugh Dickins 	spinlock_t *ptl;
457da4d641SPeter Zijlstra 	unsigned long pages = 0;
46b795854bSMel Gorman 	bool all_same_nidpid = true;
479532fec1SMel Gorman 	int last_nid = -1;
48b795854bSMel Gorman 	int last_pid = -1;
491da177e4SLinus Torvalds 
50705e87c0SHugh Dickins 	pte = pte_offset_map_lock(mm, pmd, addr, &ptl);
516606c3e0SZachary Amsden 	arch_enter_lazy_mmu_mode();
521da177e4SLinus Torvalds 	do {
530697212aSChristoph Lameter 		oldpte = *pte;
540697212aSChristoph Lameter 		if (pte_present(oldpte)) {
551da177e4SLinus Torvalds 			pte_t ptent;
564b10e7d5SMel Gorman 			bool updated = false;
571da177e4SLinus Torvalds 
581ea0704eSJeremy Fitzhardinge 			ptent = ptep_modify_prot_start(mm, addr, pte);
594b10e7d5SMel Gorman 			if (!prot_numa) {
60c1e6098bSPeter Zijlstra 				ptent = pte_modify(ptent, newprot);
614b10e7d5SMel Gorman 				updated = true;
624b10e7d5SMel Gorman 			} else {
634b10e7d5SMel Gorman 				struct page *page;
644b10e7d5SMel Gorman 
654b10e7d5SMel Gorman 				page = vm_normal_page(vma, addr, oldpte);
664b10e7d5SMel Gorman 				if (page) {
67b795854bSMel Gorman 					int nidpid = page_nidpid_last(page);
68b795854bSMel Gorman 					int this_nid = nidpid_to_nid(nidpid);
69b795854bSMel Gorman 					int this_pid = nidpid_to_pid(nidpid);
70b795854bSMel Gorman 
719532fec1SMel Gorman 					if (last_nid == -1)
729532fec1SMel Gorman 						last_nid = this_nid;
73b795854bSMel Gorman 					if (last_pid == -1)
74b795854bSMel Gorman 						last_pid = this_pid;
75b795854bSMel Gorman 					if (last_nid != this_nid ||
76b795854bSMel Gorman 					    last_pid != this_pid) {
77b795854bSMel Gorman 						all_same_nidpid = false;
78b795854bSMel Gorman 					}
799532fec1SMel Gorman 
801bc115d8SMel Gorman 					if (!pte_numa(oldpte)) {
814b10e7d5SMel Gorman 						ptent = pte_mknuma(ptent);
824b10e7d5SMel Gorman 						updated = true;
834b10e7d5SMel Gorman 					}
844b10e7d5SMel Gorman 				}
854b10e7d5SMel Gorman 			}
861ea0704eSJeremy Fitzhardinge 
87c1e6098bSPeter Zijlstra 			/*
88c1e6098bSPeter Zijlstra 			 * Avoid taking write faults for pages we know to be
89c1e6098bSPeter Zijlstra 			 * dirty.
90c1e6098bSPeter Zijlstra 			 */
914b10e7d5SMel Gorman 			if (dirty_accountable && pte_dirty(ptent)) {
92c1e6098bSPeter Zijlstra 				ptent = pte_mkwrite(ptent);
934b10e7d5SMel Gorman 				updated = true;
944b10e7d5SMel Gorman 			}
951ea0704eSJeremy Fitzhardinge 
964b10e7d5SMel Gorman 			if (updated)
974b10e7d5SMel Gorman 				pages++;
981ea0704eSJeremy Fitzhardinge 			ptep_modify_prot_commit(mm, addr, pte, ptent);
99ce1744f4SKonstantin Khlebnikov 		} else if (IS_ENABLED(CONFIG_MIGRATION) && !pte_file(oldpte)) {
1000697212aSChristoph Lameter 			swp_entry_t entry = pte_to_swp_entry(oldpte);
1010697212aSChristoph Lameter 
1020697212aSChristoph Lameter 			if (is_write_migration_entry(entry)) {
1030697212aSChristoph Lameter 				/*
1040697212aSChristoph Lameter 				 * A protection check is difficult so
1050697212aSChristoph Lameter 				 * just be safe and disable write
1060697212aSChristoph Lameter 				 */
1070697212aSChristoph Lameter 				make_migration_entry_read(&entry);
1080697212aSChristoph Lameter 				set_pte_at(mm, addr, pte,
1090697212aSChristoph Lameter 					swp_entry_to_pte(entry));
110e920e14cSMel Gorman 
1117da4d641SPeter Zijlstra 				pages++;
1120697212aSChristoph Lameter 			}
113e920e14cSMel Gorman 		}
1141da177e4SLinus Torvalds 	} while (pte++, addr += PAGE_SIZE, addr != end);
1156606c3e0SZachary Amsden 	arch_leave_lazy_mmu_mode();
116705e87c0SHugh Dickins 	pte_unmap_unlock(pte - 1, ptl);
1177da4d641SPeter Zijlstra 
118b795854bSMel Gorman 	*ret_all_same_nidpid = all_same_nidpid;
1197da4d641SPeter Zijlstra 	return pages;
1201da177e4SLinus Torvalds }
1211da177e4SLinus Torvalds 
1224b10e7d5SMel Gorman #ifdef CONFIG_NUMA_BALANCING
1234b10e7d5SMel Gorman static inline void change_pmd_protnuma(struct mm_struct *mm, unsigned long addr,
1244b10e7d5SMel Gorman 				       pmd_t *pmd)
1254b10e7d5SMel Gorman {
1264b10e7d5SMel Gorman 	spin_lock(&mm->page_table_lock);
1274b10e7d5SMel Gorman 	set_pmd_at(mm, addr & PMD_MASK, pmd, pmd_mknuma(*pmd));
1284b10e7d5SMel Gorman 	spin_unlock(&mm->page_table_lock);
1294b10e7d5SMel Gorman }
1304b10e7d5SMel Gorman #else
1314b10e7d5SMel Gorman static inline void change_pmd_protnuma(struct mm_struct *mm, unsigned long addr,
1324b10e7d5SMel Gorman 				       pmd_t *pmd)
1334b10e7d5SMel Gorman {
1344b10e7d5SMel Gorman 	BUG();
1354b10e7d5SMel Gorman }
1364b10e7d5SMel Gorman #endif /* CONFIG_NUMA_BALANCING */
1374b10e7d5SMel Gorman 
1387d12efaeSAndrew Morton static inline unsigned long change_pmd_range(struct vm_area_struct *vma,
1397d12efaeSAndrew Morton 		pud_t *pud, unsigned long addr, unsigned long end,
1407d12efaeSAndrew Morton 		pgprot_t newprot, int dirty_accountable, int prot_numa)
1411da177e4SLinus Torvalds {
1421da177e4SLinus Torvalds 	pmd_t *pmd;
1431da177e4SLinus Torvalds 	unsigned long next;
1447da4d641SPeter Zijlstra 	unsigned long pages = 0;
145b795854bSMel Gorman 	bool all_same_nidpid;
1461da177e4SLinus Torvalds 
1471da177e4SLinus Torvalds 	pmd = pmd_offset(pud, addr);
1481da177e4SLinus Torvalds 	do {
149*25cbbef1SMel Gorman 		unsigned long this_pages;
150*25cbbef1SMel Gorman 
1511da177e4SLinus Torvalds 		next = pmd_addr_end(addr, end);
152cd7548abSJohannes Weiner 		if (pmd_trans_huge(*pmd)) {
153cd7548abSJohannes Weiner 			if (next - addr != HPAGE_PMD_SIZE)
154e180377fSKirill A. Shutemov 				split_huge_page_pmd(vma, addr, pmd);
155f123d74aSMel Gorman 			else {
156f123d74aSMel Gorman 				int nr_ptes = change_huge_pmd(vma, pmd, addr,
157f123d74aSMel Gorman 						newprot, prot_numa);
158f123d74aSMel Gorman 
159f123d74aSMel Gorman 				if (nr_ptes) {
160f123d74aSMel Gorman 					if (nr_ptes == HPAGE_PMD_NR)
161afcae265SMel Gorman 						pages++;
162f123d74aSMel Gorman 
163cd7548abSJohannes Weiner 					continue;
1647da4d641SPeter Zijlstra 				}
165f123d74aSMel Gorman 			}
166cd7548abSJohannes Weiner 			/* fall through */
167cd7548abSJohannes Weiner 		}
1681da177e4SLinus Torvalds 		if (pmd_none_or_clear_bad(pmd))
1691da177e4SLinus Torvalds 			continue;
170*25cbbef1SMel Gorman 		this_pages = change_pte_range(vma, pmd, addr, next, newprot,
171b795854bSMel Gorman 				 dirty_accountable, prot_numa, &all_same_nidpid);
172*25cbbef1SMel Gorman 		pages += this_pages;
1734b10e7d5SMel Gorman 
1749532fec1SMel Gorman 		/*
1759532fec1SMel Gorman 		 * If we are changing protections for NUMA hinting faults then
1769532fec1SMel Gorman 		 * set pmd_numa if the examined pages were all on the same
1779532fec1SMel Gorman 		 * node. This allows a regular PMD to be handled as one fault
1789532fec1SMel Gorman 		 * and effectively batches the taking of the PTL
1799532fec1SMel Gorman 		 */
180*25cbbef1SMel Gorman 		if (prot_numa && this_pages && all_same_nidpid)
1814b10e7d5SMel Gorman 			change_pmd_protnuma(vma->vm_mm, addr, pmd);
1821da177e4SLinus Torvalds 	} while (pmd++, addr = next, addr != end);
1837da4d641SPeter Zijlstra 
1847da4d641SPeter Zijlstra 	return pages;
1851da177e4SLinus Torvalds }
1861da177e4SLinus Torvalds 
1877d12efaeSAndrew Morton static inline unsigned long change_pud_range(struct vm_area_struct *vma,
1887d12efaeSAndrew Morton 		pgd_t *pgd, unsigned long addr, unsigned long end,
1897d12efaeSAndrew Morton 		pgprot_t newprot, int dirty_accountable, int prot_numa)
1901da177e4SLinus Torvalds {
1911da177e4SLinus Torvalds 	pud_t *pud;
1921da177e4SLinus Torvalds 	unsigned long next;
1937da4d641SPeter Zijlstra 	unsigned long pages = 0;
1941da177e4SLinus Torvalds 
1951da177e4SLinus Torvalds 	pud = pud_offset(pgd, addr);
1961da177e4SLinus Torvalds 	do {
1971da177e4SLinus Torvalds 		next = pud_addr_end(addr, end);
1981da177e4SLinus Torvalds 		if (pud_none_or_clear_bad(pud))
1991da177e4SLinus Torvalds 			continue;
2007da4d641SPeter Zijlstra 		pages += change_pmd_range(vma, pud, addr, next, newprot,
2014b10e7d5SMel Gorman 				 dirty_accountable, prot_numa);
2021da177e4SLinus Torvalds 	} while (pud++, addr = next, addr != end);
2037da4d641SPeter Zijlstra 
2047da4d641SPeter Zijlstra 	return pages;
2051da177e4SLinus Torvalds }
2061da177e4SLinus Torvalds 
2077da4d641SPeter Zijlstra static unsigned long change_protection_range(struct vm_area_struct *vma,
208c1e6098bSPeter Zijlstra 		unsigned long addr, unsigned long end, pgprot_t newprot,
2094b10e7d5SMel Gorman 		int dirty_accountable, int prot_numa)
2101da177e4SLinus Torvalds {
2111da177e4SLinus Torvalds 	struct mm_struct *mm = vma->vm_mm;
2121da177e4SLinus Torvalds 	pgd_t *pgd;
2131da177e4SLinus Torvalds 	unsigned long next;
2141da177e4SLinus Torvalds 	unsigned long start = addr;
2157da4d641SPeter Zijlstra 	unsigned long pages = 0;
2161da177e4SLinus Torvalds 
2171da177e4SLinus Torvalds 	BUG_ON(addr >= end);
2181da177e4SLinus Torvalds 	pgd = pgd_offset(mm, addr);
2191da177e4SLinus Torvalds 	flush_cache_range(vma, addr, end);
2201da177e4SLinus Torvalds 	do {
2211da177e4SLinus Torvalds 		next = pgd_addr_end(addr, end);
2221da177e4SLinus Torvalds 		if (pgd_none_or_clear_bad(pgd))
2231da177e4SLinus Torvalds 			continue;
2247da4d641SPeter Zijlstra 		pages += change_pud_range(vma, pgd, addr, next, newprot,
2254b10e7d5SMel Gorman 				 dirty_accountable, prot_numa);
2261da177e4SLinus Torvalds 	} while (pgd++, addr = next, addr != end);
2277da4d641SPeter Zijlstra 
2281233d588SIngo Molnar 	/* Only flush the TLB if we actually modified any entries: */
2291233d588SIngo Molnar 	if (pages)
2301da177e4SLinus Torvalds 		flush_tlb_range(vma, start, end);
2317da4d641SPeter Zijlstra 
2327da4d641SPeter Zijlstra 	return pages;
2337da4d641SPeter Zijlstra }
2347da4d641SPeter Zijlstra 
2357da4d641SPeter Zijlstra unsigned long change_protection(struct vm_area_struct *vma, unsigned long start,
2367da4d641SPeter Zijlstra 		       unsigned long end, pgprot_t newprot,
2374b10e7d5SMel Gorman 		       int dirty_accountable, int prot_numa)
2387da4d641SPeter Zijlstra {
2397da4d641SPeter Zijlstra 	struct mm_struct *mm = vma->vm_mm;
2407da4d641SPeter Zijlstra 	unsigned long pages;
2417da4d641SPeter Zijlstra 
2427da4d641SPeter Zijlstra 	mmu_notifier_invalidate_range_start(mm, start, end);
2437da4d641SPeter Zijlstra 	if (is_vm_hugetlb_page(vma))
2447da4d641SPeter Zijlstra 		pages = hugetlb_change_protection(vma, start, end, newprot);
2457da4d641SPeter Zijlstra 	else
2464b10e7d5SMel Gorman 		pages = change_protection_range(vma, start, end, newprot, dirty_accountable, prot_numa);
2477da4d641SPeter Zijlstra 	mmu_notifier_invalidate_range_end(mm, start, end);
2487da4d641SPeter Zijlstra 
2497da4d641SPeter Zijlstra 	return pages;
2501da177e4SLinus Torvalds }
2511da177e4SLinus Torvalds 
252b6a2fea3SOllie Wild int
2531da177e4SLinus Torvalds mprotect_fixup(struct vm_area_struct *vma, struct vm_area_struct **pprev,
2541da177e4SLinus Torvalds 	unsigned long start, unsigned long end, unsigned long newflags)
2551da177e4SLinus Torvalds {
2561da177e4SLinus Torvalds 	struct mm_struct *mm = vma->vm_mm;
2571da177e4SLinus Torvalds 	unsigned long oldflags = vma->vm_flags;
2581da177e4SLinus Torvalds 	long nrpages = (end - start) >> PAGE_SHIFT;
2591da177e4SLinus Torvalds 	unsigned long charged = 0;
2601da177e4SLinus Torvalds 	pgoff_t pgoff;
2611da177e4SLinus Torvalds 	int error;
262c1e6098bSPeter Zijlstra 	int dirty_accountable = 0;
2631da177e4SLinus Torvalds 
2641da177e4SLinus Torvalds 	if (newflags == oldflags) {
2651da177e4SLinus Torvalds 		*pprev = vma;
2661da177e4SLinus Torvalds 		return 0;
2671da177e4SLinus Torvalds 	}
2681da177e4SLinus Torvalds 
2691da177e4SLinus Torvalds 	/*
2701da177e4SLinus Torvalds 	 * If we make a private mapping writable we increase our commit;
2711da177e4SLinus Torvalds 	 * but (without finer accounting) cannot reduce our commit if we
2725a6fe125SMel Gorman 	 * make it unwritable again. hugetlb mapping were accounted for
2735a6fe125SMel Gorman 	 * even if read-only so there is no need to account for them here
2741da177e4SLinus Torvalds 	 */
2751da177e4SLinus Torvalds 	if (newflags & VM_WRITE) {
2765a6fe125SMel Gorman 		if (!(oldflags & (VM_ACCOUNT|VM_WRITE|VM_HUGETLB|
277cdfd4325SAndy Whitcroft 						VM_SHARED|VM_NORESERVE))) {
2781da177e4SLinus Torvalds 			charged = nrpages;
279191c5424SAl Viro 			if (security_vm_enough_memory_mm(mm, charged))
2801da177e4SLinus Torvalds 				return -ENOMEM;
2811da177e4SLinus Torvalds 			newflags |= VM_ACCOUNT;
2821da177e4SLinus Torvalds 		}
2831da177e4SLinus Torvalds 	}
2841da177e4SLinus Torvalds 
2851da177e4SLinus Torvalds 	/*
2861da177e4SLinus Torvalds 	 * First try to merge with previous and/or next vma.
2871da177e4SLinus Torvalds 	 */
2881da177e4SLinus Torvalds 	pgoff = vma->vm_pgoff + ((start - vma->vm_start) >> PAGE_SHIFT);
2891da177e4SLinus Torvalds 	*pprev = vma_merge(mm, *pprev, start, end, newflags,
2901da177e4SLinus Torvalds 			vma->anon_vma, vma->vm_file, pgoff, vma_policy(vma));
2911da177e4SLinus Torvalds 	if (*pprev) {
2921da177e4SLinus Torvalds 		vma = *pprev;
2931da177e4SLinus Torvalds 		goto success;
2941da177e4SLinus Torvalds 	}
2951da177e4SLinus Torvalds 
2961da177e4SLinus Torvalds 	*pprev = vma;
2971da177e4SLinus Torvalds 
2981da177e4SLinus Torvalds 	if (start != vma->vm_start) {
2991da177e4SLinus Torvalds 		error = split_vma(mm, vma, start, 1);
3001da177e4SLinus Torvalds 		if (error)
3011da177e4SLinus Torvalds 			goto fail;
3021da177e4SLinus Torvalds 	}
3031da177e4SLinus Torvalds 
3041da177e4SLinus Torvalds 	if (end != vma->vm_end) {
3051da177e4SLinus Torvalds 		error = split_vma(mm, vma, end, 0);
3061da177e4SLinus Torvalds 		if (error)
3071da177e4SLinus Torvalds 			goto fail;
3081da177e4SLinus Torvalds 	}
3091da177e4SLinus Torvalds 
3101da177e4SLinus Torvalds success:
3111da177e4SLinus Torvalds 	/*
3121da177e4SLinus Torvalds 	 * vm_flags and vm_page_prot are protected by the mmap_sem
3131da177e4SLinus Torvalds 	 * held in write mode.
3141da177e4SLinus Torvalds 	 */
3151da177e4SLinus Torvalds 	vma->vm_flags = newflags;
3161c12c4cfSVenki Pallipadi 	vma->vm_page_prot = pgprot_modify(vma->vm_page_prot,
3171c12c4cfSVenki Pallipadi 					  vm_get_page_prot(newflags));
3181c12c4cfSVenki Pallipadi 
319c1e6098bSPeter Zijlstra 	if (vma_wants_writenotify(vma)) {
3201ddd439eSHugh Dickins 		vma->vm_page_prot = vm_get_page_prot(newflags & ~VM_SHARED);
321c1e6098bSPeter Zijlstra 		dirty_accountable = 1;
322c1e6098bSPeter Zijlstra 	}
323d08b3851SPeter Zijlstra 
3247d12efaeSAndrew Morton 	change_protection(vma, start, end, vma->vm_page_prot,
3257d12efaeSAndrew Morton 			  dirty_accountable, 0);
3267da4d641SPeter Zijlstra 
327ab50b8edSHugh Dickins 	vm_stat_account(mm, oldflags, vma->vm_file, -nrpages);
328ab50b8edSHugh Dickins 	vm_stat_account(mm, newflags, vma->vm_file, nrpages);
32963bfd738SPekka Enberg 	perf_event_mmap(vma);
3301da177e4SLinus Torvalds 	return 0;
3311da177e4SLinus Torvalds 
3321da177e4SLinus Torvalds fail:
3331da177e4SLinus Torvalds 	vm_unacct_memory(charged);
3341da177e4SLinus Torvalds 	return error;
3351da177e4SLinus Torvalds }
3361da177e4SLinus Torvalds 
3376a6160a7SHeiko Carstens SYSCALL_DEFINE3(mprotect, unsigned long, start, size_t, len,
3386a6160a7SHeiko Carstens 		unsigned long, prot)
3391da177e4SLinus Torvalds {
3401da177e4SLinus Torvalds 	unsigned long vm_flags, nstart, end, tmp, reqprot;
3411da177e4SLinus Torvalds 	struct vm_area_struct *vma, *prev;
3421da177e4SLinus Torvalds 	int error = -EINVAL;
3431da177e4SLinus Torvalds 	const int grows = prot & (PROT_GROWSDOWN|PROT_GROWSUP);
3441da177e4SLinus Torvalds 	prot &= ~(PROT_GROWSDOWN|PROT_GROWSUP);
3451da177e4SLinus Torvalds 	if (grows == (PROT_GROWSDOWN|PROT_GROWSUP)) /* can't be both */
3461da177e4SLinus Torvalds 		return -EINVAL;
3471da177e4SLinus Torvalds 
3481da177e4SLinus Torvalds 	if (start & ~PAGE_MASK)
3491da177e4SLinus Torvalds 		return -EINVAL;
3501da177e4SLinus Torvalds 	if (!len)
3511da177e4SLinus Torvalds 		return 0;
3521da177e4SLinus Torvalds 	len = PAGE_ALIGN(len);
3531da177e4SLinus Torvalds 	end = start + len;
3541da177e4SLinus Torvalds 	if (end <= start)
3551da177e4SLinus Torvalds 		return -ENOMEM;
356b845f313SDave Kleikamp 	if (!arch_validate_prot(prot))
3571da177e4SLinus Torvalds 		return -EINVAL;
3581da177e4SLinus Torvalds 
3591da177e4SLinus Torvalds 	reqprot = prot;
3601da177e4SLinus Torvalds 	/*
3611da177e4SLinus Torvalds 	 * Does the application expect PROT_READ to imply PROT_EXEC:
3621da177e4SLinus Torvalds 	 */
363b344e05cSHua Zhong 	if ((prot & PROT_READ) && (current->personality & READ_IMPLIES_EXEC))
3641da177e4SLinus Torvalds 		prot |= PROT_EXEC;
3651da177e4SLinus Torvalds 
3661da177e4SLinus Torvalds 	vm_flags = calc_vm_prot_bits(prot);
3671da177e4SLinus Torvalds 
3681da177e4SLinus Torvalds 	down_write(&current->mm->mmap_sem);
3691da177e4SLinus Torvalds 
370097d5910SLinus Torvalds 	vma = find_vma(current->mm, start);
3711da177e4SLinus Torvalds 	error = -ENOMEM;
3721da177e4SLinus Torvalds 	if (!vma)
3731da177e4SLinus Torvalds 		goto out;
374097d5910SLinus Torvalds 	prev = vma->vm_prev;
3751da177e4SLinus Torvalds 	if (unlikely(grows & PROT_GROWSDOWN)) {
3761da177e4SLinus Torvalds 		if (vma->vm_start >= end)
3771da177e4SLinus Torvalds 			goto out;
3781da177e4SLinus Torvalds 		start = vma->vm_start;
3791da177e4SLinus Torvalds 		error = -EINVAL;
3801da177e4SLinus Torvalds 		if (!(vma->vm_flags & VM_GROWSDOWN))
3811da177e4SLinus Torvalds 			goto out;
3827d12efaeSAndrew Morton 	} else {
3831da177e4SLinus Torvalds 		if (vma->vm_start > start)
3841da177e4SLinus Torvalds 			goto out;
3851da177e4SLinus Torvalds 		if (unlikely(grows & PROT_GROWSUP)) {
3861da177e4SLinus Torvalds 			end = vma->vm_end;
3871da177e4SLinus Torvalds 			error = -EINVAL;
3881da177e4SLinus Torvalds 			if (!(vma->vm_flags & VM_GROWSUP))
3891da177e4SLinus Torvalds 				goto out;
3901da177e4SLinus Torvalds 		}
3911da177e4SLinus Torvalds 	}
3921da177e4SLinus Torvalds 	if (start > vma->vm_start)
3931da177e4SLinus Torvalds 		prev = vma;
3941da177e4SLinus Torvalds 
3951da177e4SLinus Torvalds 	for (nstart = start ; ; ) {
3961da177e4SLinus Torvalds 		unsigned long newflags;
3971da177e4SLinus Torvalds 
3981da177e4SLinus Torvalds 		/* Here we know that vma->vm_start <= nstart < vma->vm_end. */
3991da177e4SLinus Torvalds 
4007d12efaeSAndrew Morton 		newflags = vm_flags;
4017d12efaeSAndrew Morton 		newflags |= (vma->vm_flags & ~(VM_READ | VM_WRITE | VM_EXEC));
4021da177e4SLinus Torvalds 
4037e2cff42SPaolo 'Blaisorblade' Giarrusso 		/* newflags >> 4 shift VM_MAY% in place of VM_% */
4047e2cff42SPaolo 'Blaisorblade' Giarrusso 		if ((newflags & ~(newflags >> 4)) & (VM_READ | VM_WRITE | VM_EXEC)) {
4051da177e4SLinus Torvalds 			error = -EACCES;
4061da177e4SLinus Torvalds 			goto out;
4071da177e4SLinus Torvalds 		}
4081da177e4SLinus Torvalds 
4091da177e4SLinus Torvalds 		error = security_file_mprotect(vma, reqprot, prot);
4101da177e4SLinus Torvalds 		if (error)
4111da177e4SLinus Torvalds 			goto out;
4121da177e4SLinus Torvalds 
4131da177e4SLinus Torvalds 		tmp = vma->vm_end;
4141da177e4SLinus Torvalds 		if (tmp > end)
4151da177e4SLinus Torvalds 			tmp = end;
4161da177e4SLinus Torvalds 		error = mprotect_fixup(vma, &prev, nstart, tmp, newflags);
4171da177e4SLinus Torvalds 		if (error)
4181da177e4SLinus Torvalds 			goto out;
4191da177e4SLinus Torvalds 		nstart = tmp;
4201da177e4SLinus Torvalds 
4211da177e4SLinus Torvalds 		if (nstart < prev->vm_end)
4221da177e4SLinus Torvalds 			nstart = prev->vm_end;
4231da177e4SLinus Torvalds 		if (nstart >= end)
4241da177e4SLinus Torvalds 			goto out;
4251da177e4SLinus Torvalds 
4261da177e4SLinus Torvalds 		vma = prev->vm_next;
4271da177e4SLinus Torvalds 		if (!vma || vma->vm_start != nstart) {
4281da177e4SLinus Torvalds 			error = -ENOMEM;
4291da177e4SLinus Torvalds 			goto out;
4301da177e4SLinus Torvalds 		}
4311da177e4SLinus Torvalds 	}
4321da177e4SLinus Torvalds out:
4331da177e4SLinus Torvalds 	up_write(&current->mm->mmap_sem);
4341da177e4SLinus Torvalds 	return error;
4351da177e4SLinus Torvalds }
436