Searched refs:syscall4 (Results 1 - 9 of 9) sorted by relevance

/barrelfish-master/lib/barrelfish/arch/arm/
H A Dsyscalls.c30 syscall4(SYSCALL_ARMv7_CACHE_CLEAN,
38 syscall4(SYSCALL_ARMv7_CACHE_CLEAN,
/barrelfish-master/include/arch/x86_32/barrelfish/
H A Dsyscall_arch.h65 #define syscall4(_a, _b, _c, _d) \ macro
68 syscall4(_a, _b, _c, 0)
H A Dinvocations_arch.h232 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 Dsyscall_arch.h155 #define syscall4(_a, _b, _c, _d) \ macro
158 syscall4(_a, _b, _c, 0)
/barrelfish-master/usr/monitor/include/arch/x86_32/
H A Dmonitor_invocations_arch.h83 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 Dsyscall_arch.h70 #define syscall4(a,b,c,d) \ macro
H A Dinvocations_arch.h52 return syscall4(invocation, invoke_cptr, arg2, arg3);
/barrelfish-master/include/arch/arm/barrelfish/
H A Dsyscall_arch.h72 #define syscall4(a,b,c,d) \ macro
H A Dinvocations_arch.h53 return syscall4(invocation, invoke_cptr, arg2, arg3);

Completed in 53 milliseconds