PERFORCE change 231325 for review

[Jonathan Anderson]

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

Change 231325 by jonathan at jonathan-on-zenith on 2013/07/21 19:06:41

	Add __tesla_repeat to kernel version of tesla.h.
	
	This requires TESLA commit 892f32 to be useful.

Affected files ...

.. //depot/projects/ctsrd/tesla/src/sys/contrib/tesla/include/tesla.h#6 edit

Differences ...

==== //depot/projects/ctsrd/tesla/src/sys/contrib/tesla/include/tesla.h#6 (text+ko) ====

@@ -72,6 +72,12 @@
 
 #include <sys/types.h>
 
+#ifdef _KERNEL
+#include <sys/limits.h>
+#else
+#include <limits.h>
+#endif
+
 /**
  * TESLA events can be serialised either with respect to the current thread
  * or, using explicit synchronisation, the global execution context.
@@ -82,6 +88,8 @@
 /** A sequence of TESLA events. Can be combined with && or ||. */
 struct __tesla_event* __tesla_sequence(__tesla_event*, ...);
 
+/** A sequence of events that repeats. */
+struct __tesla_event* __tesla_repeat(int min, int max, __tesla_event*, ...);
 
 /* TESLA events: */
 /** Entering a function (with optionally-specified arguments). */