Searched refs:dsg (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-master/tools/schedsim/ |
| H A D | simulator.c | 70 struct dispatcher_shared_generic dsg; member in struct:dcb
118 dcb->disp = (uintptr_t)&dcb->dsg;
130 snprintf(dcb->dsg.name, DISP_NAME_LEN, "%d", id);
200 snprintf(dcb->dsg.name, DISP_NAME_LEN, "h %d", tasks);
217 snprintf(dcb->dsg.name, DISP_NAME_LEN, "s %d", tasks);
228 snprintf(dcb->dsg.name, DISP_NAME_LEN, "b %d", tasks);
|
| /barrelfish-master/kernel/ |
| H A D | schedule_rr.c | 111 struct dispatcher_shared_generic *dsg = local
114 dsg->name);
|
Completed in 42 milliseconds