PERFORCE change 223006 for review

[Robert Watson]

http://p4web.freebsd.org/@@223006?ac=10

Change 223006 by rwatson at rwatson_cinnamon on 2013/03/18 10:36:13

	Trial "previously their was a MAC check" TESLA annotation for
	ffs_write().

Affected files ...

.. //depot/projects/ctsrd/tesla/src/sys/ufs/ffs/ffs_vnops.c#2 edit

Differences ...

==== //depot/projects/ctsrd/tesla/src/sys/ufs/ffs/ffs_vnops.c#2 (text+ko) ====

@@ -79,6 +79,9 @@
 #include <sys/vmmeter.h>
 #include <sys/vnode.h>
 
+#include <libtesla/tesla.h>
+#include <libtesla/tesla-macros.h>
+
 #include <vm/vm.h>
 #include <vm/vm_param.h>
 #include <vm/vm_extern.h>
@@ -643,6 +646,9 @@
 	int seqcount;
 	int blkoffset, error, flags, ioflag, size, xfersize;
 
+	TESLA_WITHIN(trap, previously(mac_check_vnode_write(ANY(ptr), ANY(ptr),
+	    ap->a_vp)));
+
 	vp = ap->a_vp;
 	uio = ap->a_uio;
 	ioflag = ap->a_ioflag;