1 files changed, 1 insertions, 0 deletions
diff --git a/include/litmus.h b/include/litmus.h
index 0d0b31c..0371a6c 100644
--- a/include/litmus.h
+++ b/include/litmus.h
@@ -105,6 +105,7 @@ task_class_t str2class(const char* str);
 /* non-preemptive section support */
 void enter_np(void);
 void exit_np(void);
+void exit_np_trace(void);
 /* task system support */
 int wait_for_ts_release(void);

diff --git a/include/litmus.h b/include/litmus.h index 0d0b31c..0371a6c 100644 --- a/include/litmus.h +++ b/include/litmus.h
@@ -105,6 +105,7 @@ task_class_t str2class(const char* str);
105	/* non-preemptive section support */	105	/* non-preemptive section support */
106	void enter_np(void);	106	void enter_np(void);
107	void exit_np(void);	107	void exit_np(void);
		108	void exit_np_trace(void);
108		109
109	/* task system support */	110	/* task system support */
110	int wait_for_ts_release(void);	111	int wait_for_ts_release(void);