Date: Mon, 18 Mar 2013 10:36:25 GMT From: Robert Watson <rwatson@FreeBSD.org> To: Perforce Change Reviews <perforce@FreeBSD.org> Subject: PERFORCE change 223006 for review Message-ID: <201303181036.r2IAaPC5079034@skunkworks.freebsd.org>
next in thread | raw e-mail | index | archive | help
http://p4web.freebsd.org/@@223006?ac=10 Change 223006 by rwatson@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;
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201303181036.r2IAaPC5079034>