Searched defs:period (Results 1 - 10 of 10) sorted by last modified time
| /barrelfish-master/usr/monitor/ |
| H A D | resource_ctrl.c | 25 unsigned long wcet, period, release; member in struct:rsrc_phase
244 unsigned long wcet, period, deadline, release; local
|
| /barrelfish-master/tools/schedsim/ |
| H A D | simulator.c | 62 unsigned long wcet, period, deadline; member in struct:dcb
174 unsigned long time, wcet, period, weight, id, blocktime, deadline, rd; local
[all...] |
| /barrelfish-master/lib/barrelfish/ |
| H A D | deferred.c | 191 periodic_event_create(struct periodic_event *event, struct waitset *ws, delayus_t period, struct event_closure closure) argument
|
| /barrelfish-master/kernel/ |
| H A D | syscall.c | 188 sys_dispatcher_properties(struct capability *to, enum task_type type, unsigned long deadline, unsigned long wcet, unsigned long period, unsigned long release, unsigned short weight) argument
|
| /barrelfish-master/kernel/include/ |
| H A D | dispatch.h | 59 systime_t wcet, period, deadline; member in struct:dcb
|
| /barrelfish-master/kernel/arch/x86_64/ |
| H A D | syscall.c | 79 unsigned long period = args[3]; local
|
| /barrelfish-master/kernel/arch/x86_32/ |
| H A D | syscall.c | 63 unsigned long period = args[3]; local
|
| /barrelfish-master/include/barrelfish/ |
| H A D | invocations.h | 430 invoke_dispatcher_properties(struct capref dispatcher, enum task_type type, unsigned long deadline, unsigned long wcet, unsigned long period, unsigned long release, unsigned short weight) argument
|
| H A D | deferred.h | 44 delayus_t period; member in struct:periodic_event
|
| /barrelfish-master/include/arch/x86_32/barrelfish/ |
| H A D | invocations_arch.h | 610 invoke_dispatcher_properties(struct capref dispatcher, enum task_type type, unsigned long deadline, unsigned long wcet, unsigned long period, unsigned long release, unsigned short weight) argument
|
Completed in 104 milliseconds