Date: Mon, 22 Jul 2013 09:34:34 GMT From: Robert Watson <rwatson@FreeBSD.org> To: Perforce Change Reviews <perforce@FreeBSD.org> Subject: PERFORCE change 231341 for review Message-ID: <201307220934.r6M9YYuA073375@skunkworks.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201307220934.r6M9YYuA073375>