Searched refs:sys_dispatcher_properties (Results 1 - 6 of 6) sorted by relevance
/barrelfish-master/kernel/include/ |
H A D | syscall.h | 31 sys_dispatcher_properties(struct capability *to,
|
/barrelfish-master/kernel/ |
H A D | syscall.c | 188 sys_dispatcher_properties(struct capability *to, function
|
/barrelfish-master/kernel/arch/armv8/ |
H A D | syscall.c | 98 return sys_dispatcher_properties(to, type, sa->arg4,
|
/barrelfish-master/kernel/arch/armv7/ |
H A D | syscall.c | 96 return sys_dispatcher_properties(to, type, sa->arg4,
|
/barrelfish-master/kernel/arch/x86_32/ |
H A D | syscall.c | 66 return sys_dispatcher_properties(to, type, deadline, wcet, period,
|
/barrelfish-master/kernel/arch/x86_64/ |
H A D | syscall.c | 84 struct sysret sr = sys_dispatcher_properties(to, type, deadline, wcet, period,
|
Completed in 129 milliseconds