Searched refs:SYSCALL_LRPC (Results 1 - 3 of 3) sorted by relevance

/barrelfish-2018-10-04/include/barrelfish_kpi/
H A Dsyscalls.h43 #define SYSCALL_LRPC 2 ///< Fast LRPC macro
/barrelfish-2018-10-04/include/arch/x86_64/barrelfish/
H A Dlmp_chan_arch.h60 return syscall6(SYSCALL_LRPC, get_cap_addr(ep), arg1, arg2, arg3, arg4).error;
/barrelfish-2018-10-04/kernel/arch/x86_64/
H A Dentry.S38 cmp $SYSCALL_LRPC, %rdi

Completed in 50 milliseconds