Lines Matching defs:dcb
55 struct dcb {
60 struct dcb *next; ///< Next DCB in schedule
75 struct dcb *queue_head, *queue_tail;
104 static struct dcb *dcb_current = NULL;
114 static struct dcb *sched, **allptrs;
116 static void init_dcb(struct dcb *dcb, int id)
118 dcb->disp = (uintptr_t)&dcb->dsg;
119 dcb->cspace.cap.type = ObjType_L1CNode;
120 dcb->ep.cap.type = ObjType_EndPoint;
121 dcb->vspace = 1;
122 dcb->next = NULL;
123 dcb->release_time = 0;
124 dcb->wcet = 0;
125 dcb->period = 0;
126 dcb->weight = 0;
127 dcb->etime = 0;
129 dcb->id = id;
130 snprintf(dcb->dsg.name, DISP_NAME_LEN, "%d", id);
166 sched = malloc(sizeof(struct dcb) * runtime * alltasks);
167 allptrs = calloc(alltasks, sizeof(struct dcb *));
193 struct dcb *dcb = malloc(sizeof(struct dcb));
194 init_dcb(dcb, tasks);
195 dcb->type = TASK_TYPE_HARD_REALTIME;
196 dcb->wcet = wcet;
197 dcb->period = period;
198 dcb->blocktime = blocktime;
199 dcb->release_time = kernel_now;
200 snprintf(dcb->dsg.name, DISP_NAME_LEN, "h %d", tasks);
202 dcb->deadline = deadline;
204 dcb->deadline = period;
206 make_runnable(dcb);
208 allptrs[tasks++] = dcb;
212 struct dcb *dcb = malloc(sizeof(struct dcb));
213 init_dcb(dcb, tasks);
214 dcb->type = TASK_TYPE_SOFT_REALTIME;
215 dcb->wcet = wcet;
216 dcb->period = period;
217 snprintf(dcb->dsg.name, DISP_NAME_LEN, "s %d", tasks);
218 make_runnable(dcb);
220 allptrs[tasks++] = dcb;
224 struct dcb *dcb = malloc(sizeof(struct dcb));
225 init_dcb(dcb, tasks);
226 dcb->type = TASK_TYPE_BEST_EFFORT;
227 dcb->weight = weight;
228 snprintf(dcb->dsg.name, DISP_NAME_LEN, "b %d", tasks);
229 make_runnable(dcb);
231 allptrs[tasks++] = dcb;
265 struct dcb *cd = allptrs[i];
333 struct dcb *ct = allptrs[i];
336 struct dcb *s = &sched[t * alltasks + i];
347 struct dcb *s = &sched[t * alltasks + i];