From owner-p4-projects@FreeBSD.ORG  Sun Sep 15 20:16:12 2013
Return-Path: <owner-p4-projects@FreeBSD.ORG>
Delivered-To: p4-projects@freebsd.org
Received: by hub.freebsd.org (Postfix, from userid 32767)
 id 6E594E6E; Sun, 15 Sep 2013 20:16:12 +0000 (UTC)
Delivered-To: perforce@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org
 [IPv6:2001:1900:2254:206a::19:1])
 (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits))
 (No client certificate requested)
 by hub.freebsd.org (Postfix) with ESMTP id 2DC99E6C
 for <perforce@freebsd.org>; Sun, 15 Sep 2013 20:16:12 +0000 (UTC)
 (envelope-from bb+lists.freebsd.perforce@cyrus.watson.org)
Received: from skunkworks.freebsd.org (skunkworks.freebsd.org [8.8.178.74])
 (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
 (No client certificate requested)
 by mx1.freebsd.org (Postfix) with ESMTPS id 191B3238D
 for <perforce@freebsd.org>; Sun, 15 Sep 2013 20:16:12 +0000 (UTC)
Received: from skunkworks.freebsd.org ([127.0.1.74])
 by skunkworks.freebsd.org (8.14.7/8.14.7) with ESMTP id r8FKGB5H068983
 for <perforce@freebsd.org>; Sun, 15 Sep 2013 20:16:11 GMT
 (envelope-from bb+lists.freebsd.perforce@cyrus.watson.org)
Received: (from perforce@localhost)
 by skunkworks.freebsd.org (8.14.7/8.14.6/Submit) id r8FKGBOg068980
 for perforce@freebsd.org; Sun, 15 Sep 2013 20:16:11 GMT
 (envelope-from bb+lists.freebsd.perforce@cyrus.watson.org)
Date: Sun, 15 Sep 2013 20:16:11 GMT
Message-Id: <201309152016.r8FKGBOg068980@skunkworks.freebsd.org>
X-Authentication-Warning: skunkworks.freebsd.org: perforce set sender to
 bb+lists.freebsd.perforce@cyrus.watson.org using -f
From: Robert Watson <rwatson@FreeBSD.org>
Subject: PERFORCE change 718517 for review
To: Perforce Change Reviews <perforce@FreeBSD.org>
Precedence: bulk
X-BeenThere: p4-projects@freebsd.org
X-Mailman-Version: 2.1.14
List-Id: p4 projects tree changes <p4-projects.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/options/p4-projects>,
 <mailto:p4-projects-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/p4-projects>
List-Post: <mailto:p4-projects@freebsd.org>
List-Help: <mailto:p4-projects-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/p4-projects>,
 <mailto:p4-projects-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Sun, 15 Sep 2013 20:16:12 -0000

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

Change 718517 by rwatson@rwatson_zenith_cl_cam_ac_uk on 2013/09/15 20:15:56

	Add some initial code to /bin/cheritest's ccall path to set up
	code and data capabilities for CCall in userspace.  Numerous
	current caveats, some identified in the comment.

Affected files ...

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

Differences ...

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

@@ -102,7 +102,30 @@
 cheritest_ccall(void)
 {
 
-	/* XXXRW: Temporary nop semantics. */
+	/*-
+	 * Construct a code capability in $c10, and a data capability in $c11,
+	 * starting with $c0 for both.
+	 *
+	 * Current limitations:
+	 * - Doesn't set the type (XXXRW: new or old semantics?)
+	 * - Doesn't use sealing.
+	 * - $c11 doesn't matter as sandbox_creturn doesn't access data.
+	 * - We don't flush registers before CCall.
+	 * - We don't restore registers after CCall.
+	 */
+	CHERI_CINCBASE(10, 0, sandbox_creturn);
+	/* XXXRW: CHERI_CSETTYPE(10, 10, sandbox_creturn); */
+	CHERI_CSETLEN(10, 10, 4);	/* XXXRW: Use symbols not magic. */
+	CHERI_CANDPERM(10, 10, CHERI_PERM_EXECUTE);
+	/* XXXRW: CHERI_CSEALCODE(10, 10); */
+
+	CHERI_CINCBASE(11, 0, sandbox_creturn);
+	/* XXXRW: CHERI_CSETTYPE(11, 11, sandbox_creturn); */
+	CHERI_CSETLEN(11, 11, 4);	/* XXXRW: Use symbols not magic. */
+	CHERI_CANDPERM(11, 11, CHERI_PERM_LOAD);
+	/* XXXRW: CHERI_CSEALDATA(11, 11); */
+	
+	/* Invoke capability. */
 	CHERI_CCALL(10, 11);
 }