view DPP/dpp2.h @ 0:a89b61162c29

add DPP
author Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
date Sat, 04 Feb 2012 12:40:32 +0900
parents
children 6695c97470f3
line wrap: on
line source

#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