Skip site navigation (1)Skip section navigation (2)
Date:      Wed, 28 Jun 2017 04:53:07 +0000 (UTC)
From:      Konstantin Belousov <kib@FreeBSD.org>
To:        src-committers@freebsd.org, svn-src-all@freebsd.org, svn-src-stable@freebsd.org, svn-src-stable-10@freebsd.org
Subject:   svn commit: r320435 - stable/10/sys/vm
Message-ID:  <201706280453.v5S4r7cf009507@repo.freebsd.org>

next in thread | raw e-mail | index | archive | help
Author: kib
Date: Wed Jun 28 04:53:06 2017
New Revision: 320435
URL: https://svnweb.freebsd.org/changeset/base/320435

Log:
  MFC r320201:
  Assert that the protection of a new map entry is a subset of the max
  protection.

Modified:
  stable/10/sys/vm/vm_map.c
Directory Properties:
  stable/10/   (props changed)

Modified: stable/10/sys/vm/vm_map.c
==============================================================================
--- stable/10/sys/vm/vm_map.c	Wed Jun 28 04:25:20 2017	(r320434)
+++ stable/10/sys/vm/vm_map.c	Wed Jun 28 04:53:06 2017	(r320435)
@@ -1143,6 +1143,8 @@ vm_map_insert(vm_map_t map, vm_object_t object, vm_oof
 	    ("vm_map_insert: kmem or kernel object and COW"));
 	KASSERT(object == NULL || (cow & MAP_NOFAULT) == 0,
 	    ("vm_map_insert: paradoxical MAP_NOFAULT request"));
+	KASSERT((prot & ~max) == 0,
+	    ("prot %#x is not subset of max_prot %#x", prot, max));
 
 	/*
 	 * Check that the start and end points are not bogus.



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201706280453.v5S4r7cf009507>