#include <stdint.h>
+int
+thread_pipeline_enable(uint32_t thread_id,
+ const char *pipeline_name);
+
+int
+thread_pipeline_disable(uint32_t thread_id,
+ const char *pipeline_name);
+
int
thread_init(void);
+int
+thread_main(void *arg);
+
#endif /* _INCLUDE_THREAD_H_ */