diff dpp2.h @ 0:d4bc23cb728b

Import from CVS (CVS_DB/member/atsuki/cbc/DPP)
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Wed, 16 Dec 2015 15:16:11 +0900
parents
children b15128ab0324
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/dpp2.h	Wed Dec 16 15:16:11 2015 +0900
@@ -0,0 +1,16 @@
+#ifndef _DPP2_H_
+#define _DPP2_H_
+#define NULL (0)
+
+#include "dpp_common.h"
+
+extern code putdown_lfork(PhilsPtr self, struct task * current_task);
+extern code putdown_rfork(PhilsPtr self, struct task * current_task);
+extern code eating(PhilsPtr self, struct task * current_task);
+extern code hungry2(PhilsPtr self, struct task * current_task);
+extern code hungry1(PhilsPtr self, struct task * current_task);
+extern code pickup_rfork(PhilsPtr self, struct task * current_task);
+extern code pickup_lfork(PhilsPtr self, struct task * current_task);
+extern code thinking(PhilsPtr self, struct task * current_task);
+
+#endif