common.h: move common code (non-user) to header

[model-checker.git] / libthreads.h

diff --git a/libthreads.h b/libthreads.h
index b73ab1c0cee46fc063c42d703f2b8e922d0d5210..0201ea616eb8842f4f3e86a2d7001421a3cb8252 100644 (file)
--- a/libthreads.h
+++ b/libthreads.h
@@ -1,19 +1,8 @@
 #ifndef __LIBTHREADS_H__
 #define __LIBTHREADS_H__
 
-#include <stdio.h>
 #include <ucontext.h>
 
-//#define CONFIG_DEBUG
-
-#ifdef CONFIG_DEBUG
-#define DEBUG(fmt, ...) do { printf("*** %25s(): line %-4d *** " fmt, __func__, __LINE__, ##__VA_ARGS__); } while (0)
-#define DBG() DEBUG("\n");
-#else
-#define DEBUG(fmt, ...)
-#define DBG()
-#endif
-
 struct thread {
        void (*start_routine);
        void *arg;