#include #include #include "CbCTaskManager.h" #include "taskinit.h" #define __DEBUG(f, args...) \ fprintf(stderr, "in %s: "f, __FUNCTION__, ## args) /* it may be moved to TaskManager side. */ __code nojob(void *manager, void *rbuff, void *wbuff) { goto scheduler(manager, ENDTASK, NULL, NULL); } extern __code taskA_0(UserManager *, void *, void *); extern __code taskA_1(UserManager *, void *, void *); extern __code taskA_2(UserManager *, void *, void *); #define NUM 16 /* * TASKs. */ __code starttask(UserManager *manager, void *rbuff, void *wbuff) { UserTask *tasks[NUM]; __DEBUG("s=%p, rb=%p, wb=%p\n", manager, rbuff, wbuff); int i; for (i=0; i