Searched refs:syscall4 (Results 1 - 9 of 9) sorted by relevance
/barrelfish-master/lib/barrelfish/arch/arm/ |
H A D | syscalls.c | 30 syscall4(SYSCALL_ARMv7_CACHE_CLEAN, 38 syscall4(SYSCALL_ARMv7_CACHE_CLEAN,
|
/barrelfish-master/include/arch/x86_32/barrelfish/ |
H A D | syscall_arch.h | 65 #define syscall4(_a, _b, _c, _d) \ macro 68 syscall4(_a, _b, _c, 0)
|
H A D | invocations_arch.h | 232 return syscall4((invoke_bits << 16) | (CNodeCmd_Delete << 8) | SYSCALL_INVOKE, 244 return syscall4((invoke_bits << 16) | (CNodeCmd_Revoke << 8) | SYSCALL_INVOKE, 257 syscall4((invoke_bits << 16) | (CNodeCmd_GetState << 8) | SYSCALL_INVOKE, 316 return syscall4((invoke_bits << 16) | (VNodeCmd_Unmap << 8) | SYSCALL_INVOKE, 411 return syscall4((invoke_bits << 16) | (cmd << 8) | SYSCALL_INVOKE, 527 return syscall4((invoke_bits << 16) | (IRQTableCmd_Set << 8) | 675 syscall4((invoke_bits << 16) | (IPICmd_Send_Start << 8) | SYSCALL_INVOKE,
|
/barrelfish-master/include/arch/x86_64/barrelfish/ |
H A D | syscall_arch.h | 155 #define syscall4(_a, _b, _c, _d) \ macro 158 syscall4(_a, _b, _c, 0)
|
/barrelfish-master/usr/monitor/include/arch/x86_32/ |
H A D | monitor_invocations_arch.h | 83 return syscall4((invoke_bits << 16) | (KernelCmd_Nullify_cap << 8) 150 return syscall4((invoke_bits << 16) | (KernelCmd_IPI_Register << 8) 184 return syscall4((invoke_bits << 16) | (KernelCmd_Sync_timer << 8)
|
/barrelfish-master/include/arch/aarch64/barrelfish/ |
H A D | syscall_arch.h | 70 #define syscall4(a,b,c,d) \ macro
|
H A D | invocations_arch.h | 52 return syscall4(invocation, invoke_cptr, arg2, arg3);
|
/barrelfish-master/include/arch/arm/barrelfish/ |
H A D | syscall_arch.h | 72 #define syscall4(a,b,c,d) \ macro
|
H A D | invocations_arch.h | 53 return syscall4(invocation, invoke_cptr, arg2, arg3);
|
Completed in 53 milliseconds