Searched refs:sys_dispatcher_setup (Results 1 - 6 of 6) sorted by last modified time
/barrelfish-master/kernel/ |
H A D | syscall.c | 49 sys_dispatcher_setup(struct capability *to, capaddr_t cptr, uint8_t level, function 59 /* 0. Handle sys_dispatcher_setup for guest domains */
|
/barrelfish-master/kernel/include/ |
H A D | syscall.h | 28 sys_dispatcher_setup(struct capability *to, capaddr_t cptr, uint8_t level,
|
/barrelfish-master/kernel/arch/x86_64/ |
H A D | syscall.c | 68 struct sysret sr = sys_dispatcher_setup(to, cptr, level, vptr, dptr, run, odptr);
|
/barrelfish-master/kernel/arch/x86_32/ |
H A D | syscall.c | 52 return sys_dispatcher_setup(to, cptr, depth, vptr, dptr, run, odptr);
|
/barrelfish-master/kernel/arch/armv8/ |
H A D | syscall.c | 81 return sys_dispatcher_setup(to, root, level, vptr, dptr, run, odptr);
|
/barrelfish-master/kernel/arch/armv7/ |
H A D | syscall.c | 79 return sys_dispatcher_setup(to, root, level, vptr, dptr, run, odptr);
|
Completed in 71 milliseconds