PERFORCE change 883871 for review

[Robert Watson]

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

Change 883871 by rwatson at rwatson_zenith_cl_cam_ac_uk on 2013/09/28 20:32:28

	Derive a sealed data capability from its unsealed code counterpart,
	rather than the sealed code capability.

Affected files ...

.. //depot/projects/ctsrd/cheribsd/src/bin/cheritest/cheritest.c#21 edit

Differences ...

==== //depot/projects/ctsrd/cheribsd/src/bin/cheritest/cheritest.c#21 (text+ko) ====

@@ -133,7 +133,7 @@
 	 * suitable for use with CCall.
 	 */
 	CHERI_CANDPERM(2, 3, CHERI_PERM_LOAD);
-	CHERI_CSEALDATA(2, 2, 1);
+	CHERI_CSEALDATA(2, 2, 3);
 	
 	/* Invoke capability. */
 	CHERI_CCALL(1, 2);