From owner-p4-projects@FreeBSD.ORG  Mon Jul 22 09:34:35 2013
Return-Path: <owner-p4-projects@FreeBSD.ORG>
Delivered-To: p4-projects@freebsd.org
Received: by hub.freebsd.org (Postfix, from userid 32767)
 id 1A08470D; Mon, 22 Jul 2013 09:34:35 +0000 (UTC)
Delivered-To: perforce@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org
 [IPv6:2001:1900:2254:206a::19:1])
 by hub.freebsd.org (Postfix) with ESMTP id D0A0670B
 for <perforce@freebsd.org>; Mon, 22 Jul 2013 09:34:34 +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 C09732DCA
 for <perforce@freebsd.org>; Mon, 22 Jul 2013 09:34:34 +0000 (UTC)
Received: from skunkworks.freebsd.org ([127.0.1.74])
 by skunkworks.freebsd.org (8.14.7/8.14.7) with ESMTP id r6M9YYi6073378
 for <perforce@freebsd.org>; Mon, 22 Jul 2013 09:34:34 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 r6M9YYuA073375
 for perforce@freebsd.org; Mon, 22 Jul 2013 09:34:34 GMT
 (envelope-from bb+lists.freebsd.perforce@cyrus.watson.org)
Date: Mon, 22 Jul 2013 09:34:34 GMT
Message-Id: <201307220934.r6M9YYuA073375@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 231341 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: Mon, 22 Jul 2013 09:34:35 -0000

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

Change 231341 by rwatson@rwatson_cinnamon on 2013/07/22 09:34:25

	Add some useful helper macros -- incallstack() provided by Jon
	Anderson, and TESLA_SYSCALL_{PREVIOUSLY,EVENTUALLY}() that make
	descriptions of intra-system call events a bit cleaner.

Affected files ...

.. //depot/projects/ctsrd/tesla/src/sys/sys/tesla-kernel.h#5 edit

Differences ...

==== //depot/projects/ctsrd/tesla/src/sys/sys/tesla-kernel.h#5 (text+ko) ====

@@ -35,6 +35,8 @@
  * FreeBSD kernel-specific TESLA macros.
  */
 
+#define	incallstack(fn)	TSEQUENCE(called(fn), TESLA_ASSERTION_SITE, returned(fn))
+
 /*
  * Convenient assertion wrappers for various scopes.
  */
@@ -47,6 +49,8 @@
 extern void syscall(void);
 #define	TESLA_SYSCALL(x)	TESLA_WITHIN(syscall, x)
 #endif
+#define	TESLA_SYSCALL_PREVIOUSLY(x)	TESLA_SYSCALL(previously(x))
+#define	TESLA_SYSCALL_EVENTUALLY(x)	TESLA_SYSCALL(eventually(x))
 
 /*
  * XXXRW: Not all architectures have a trap_pfault() function.  Can't use