PERFORCE change 231341 for review

[Robert Watson]

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

Change 231341 by rwatson at 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