Searched defs:sysret (Results 1 - 9 of 9) sorted by relevance
| /barrelfish-2018-10-04/include/barrelfish_kpi/ |
| H A D | syscalls.h | 24 struct sysret { struct
|
| /barrelfish-2018-10-04/usr/monitor/include/arch/x86_64/ |
| H A D | monitor_invocations_arch.h | 88 struct sysret sysret; local
|
| /barrelfish-2018-10-04/usr/monitor/include/ |
| H A D | monitor_invocations.h | 79 struct sysret sysret = cap_invoke5(cap_kernel, KernelCmd_Get_cap_owner, root, rlevel, cap, clevel); local
192 struct sysret sysret = cap_invoke1(cap_kernel, KernelCmd_Get_arch_id); local
[all...] |
| /barrelfish-2018-10-04/usr/monitor/include/arch/x86_32/ |
| H A D | monitor_invocations_arch.h | 172 struct sysret sysret = cap_invoke1(cap_kernel, KernelCmd_Get_arch_id); local
263 struct sysret sysret = cap_invoke5(cap_kernel, KernelCmd_Get_cap_owner, local
344 struct sysret sysret; local
[all...] |
| /barrelfish-2018-10-04/include/arch/x86_64/barrelfish/ |
| H A D | invocations_arch.h | 116 struct sysret sysret = cap_invoke2(iocap, cmd, port); local
264 struct sysret sysret = cap_invoke1(idcap, IDCmd_Identify); local
[all...] |
| /barrelfish-2018-10-04/include/barrelfish/ |
| H A D | invocations.h | 147 struct sysret sysret = cap_invoke3(root, CNodeCmd_GetState, cap, level); local
207 struct sysret sysret = cap_invoke2(frame, FrameCmd_Identify, (uintptr_t)ret); local
222 struct sysret sysret = cap_invoke1(vnode, VNodeCmd_Identify); local
400 struct sysret sysret = cap_invoke1(kern_cap, KernelCmd_Get_core_id); local
[all...] |
| /barrelfish-2018-10-04/include/arch/x86_32/barrelfish/ |
| H A D | invocations_arch.h | 256 struct sysret sysret = local
331 struct sysret sysret = cap_invoke1(frame, FrameCmd_Identify); local
348 struct sysret sysret = cap_invoke1(vnode, VNodeCmd_Identify); local
393 struct sysret sysret = local
549 struct sysret sysret = local
652 struct sysret sysret = local
[all...] |
| /barrelfish-2018-10-04/kernel/arch/x86_32/ |
| H A D | syscall.c | 726 struct sysret sysret; local
[all...] |
| /barrelfish-2018-10-04/kernel/arch/x86_64/ |
| H A D | syscall.c | 1052 struct sysret sysret = sys_idcap_identify(cap, &id); local
1090 struct sysret sysret; local
[all...] |
Completed in 192 milliseconds