| /barrelfish-master/lib/barrelfish/arch/aarch64/ |
| H A D | syscalls.c | 25 uint64_t arg4, uint64_t arg5, uint64_t arg6, uint64_t arg7,
35 register uint64_t a7 __asm("x7") = arg7;
24 syscall(uint64_t num, uint64_t arg1, uint64_t arg2, uint64_t arg3, uint64_t arg4, uint64_t arg5, uint64_t arg6, uint64_t arg7, uint64_t arg8, uint64_t arg9, uint64_t arg10, uint64_t arg11) argument
|
| /barrelfish-master/include/arch/x86_64/barrelfish/ |
| H A D | syscall_arch.h | 98 #define BF_SYSCALL_BODY(num, arg1, arg2, arg3, arg4, arg5, arg6, arg7, arg8, \
107 register uint64_t a7 __asm("r13") = arg7; \
121 uint64_t arg7, uint64_t arg8, uint64_t arg9, uint64_t arg10,
130 BF_SYSCALL_BODY(SYSCALL_PRINT, (uint64_t)str, 256, arg3, arg4, arg5, arg6, arg7, arg8, arg9, arg10, arg11, arg12, "");
134 BF_SYSCALL_BODY(num, arg1, arg2, arg3, arg4, arg5, arg6, arg7, arg8, arg9,
119 syscall(uint64_t num, uint64_t arg1, uint64_t arg2, uint64_t arg3, uint64_t arg4, uint64_t arg5, uint64_t arg6, uint64_t arg7, uint64_t arg8, uint64_t arg9, uint64_t arg10, uint64_t arg11, uint64_t arg12) argument
|
| H A D | invocations_arch.h | 27 uintptr_t arg6, uintptr_t arg7,
36 arg1, arg2, arg3, arg4, arg5, arg6, arg7, arg8, arg9,
24 cap_invoke(struct capref to, uintptr_t arg1, uintptr_t arg2, uintptr_t arg3, uintptr_t arg4, uintptr_t arg5, uintptr_t arg6, uintptr_t arg7, uintptr_t arg8, uintptr_t arg9, uintptr_t arg10) argument
|
| H A D | lmp_chan_arch.h | 39 uint64_t arg7, uint64_t arg8, uint64_t arg9,
71 arg1, arg2, arg3, arg4, arg5, arg6, arg7, arg8, arg9,
35 lmp_ep_send(struct capref ep, lmp_send_flags_t flags, struct capref send_cap, uint8_t length_words, uint64_t arg1, uint64_t arg2, uint64_t arg3, uint64_t arg4, uint64_t arg5, uint64_t arg6, uint64_t arg7, uint64_t arg8, uint64_t arg9, uint64_t arg10) argument
|
| /barrelfish-master/include/arch/aarch64/barrelfish/ |
| H A D | invocations_arch.h | 33 uintptr_t arg6, uintptr_t arg7,
61 arg7);
64 arg7, arg8);
67 arg7, arg8, arg9);
70 arg7, arg8, arg9, arg10);
73 arg7, arg8, arg9, arg10, arg11);
30 cap_invoke(struct capref to, uintptr_t argc, uintptr_t cmd, uintptr_t arg2, uintptr_t arg3, uintptr_t arg4, uintptr_t arg5, uintptr_t arg6, uintptr_t arg7, uintptr_t arg8, uintptr_t arg9, uintptr_t arg10, uintptr_t arg11) argument
|
| H A D | syscall_arch.h | 29 uint64_t arg4, uint64_t arg5, uint64_t arg6, uint64_t arg7,
|
| /barrelfish-master/include/arch/arm/barrelfish/ |
| H A D | invocations_arch.h | 32 uintptr_t arg6, uintptr_t arg7,
62 arg7);
65 arg7, arg8);
68 arg7, arg8, arg9);
71 arg7, arg8, arg9, arg10);
74 arg7, arg8, arg9, arg10, arg11);
29 cap_invoke(struct capref to, uintptr_t argc, uintptr_t cmd, uintptr_t arg2, uintptr_t arg3, uintptr_t arg4, uintptr_t arg5, uintptr_t arg6, uintptr_t arg7, uintptr_t arg8, uintptr_t arg9, uintptr_t arg10, uintptr_t arg11) argument
|
| H A D | lmp_chan_arch.h | 47 uintptr_t arg7,
65 arg7, arg8, arg9).error;
36 lmp_ep_send( struct capref ep, lmp_send_flags_t flags, struct capref send_cap, uint8_t length_words, uintptr_t arg1, uintptr_t arg2, uintptr_t arg3, uintptr_t arg4, uintptr_t arg5, uintptr_t arg6, uintptr_t arg7, uintptr_t arg8, uintptr_t arg9 ) argument
|
| /barrelfish-master/include/tweed/ |
| H A D | tweed.h | 295 arg7_type arg7;
306 arg7_type arg7; \
319 arg7_type arg7; \
333 arg7_type arg7; \
373 task_name->arg7 = arg_val_7;
420 task_name->arg6, task_name->arg7)
424 task_name->arg6, task_name->arg7, task_name->arg8)
428 task_name->arg6, task_name->arg7, task_name->arg8, \
433 task_name->arg6, task_name->arg7, task_name->arg8, \
|
| /barrelfish-master/lib/acpica/source/include/platform/ |
| H A D | acefi.h | 217 UINT64 arg4, UINT64 arg5, UINT64 arg6, UINT64 arg7);
219 UINT64 arg4, UINT64 arg5, UINT64 arg6, UINT64 arg7,
222 UINT64 arg4, UINT64 arg5, UINT64 arg6, UINT64 arg7,
225 UINT64 arg4, UINT64 arg5, UINT64 arg6, UINT64 arg7,
|
| /barrelfish-master/include/arch/arm/barrelfish_kpi/ |
| H A D | registers_arch.h | 84 uint32_t arg4, arg5, arg6, arg7, arg8; member in struct:registers_arm::registers_arm_syscall_args
|
| /barrelfish-master/include/arch/aarch64/barrelfish_kpi/ |
| H A D | registers_arch.h | 92 uint64_t arg0, arg1, arg2, arg3, arg4, arg5, arg6, arg7; member in struct:registers_aarch64::registers_aarch64_syscall_args
|
| /barrelfish-master/usr/eclipseclp/Kernel/src/ |
| H A D | eclipse_cc.cc | 199 const EC_word arg7,
540 const EC_word arg7 = 0,
546 arg5.w,arg6.w,arg7.w,arg8.w,arg9.w,arg10.w));
|
| /barrelfish-master/kernel/arch/armv7/ |
| H A D | syscall.c | 77 capaddr_t odptr = sa->arg7;
97 sa->arg5, sa->arg6, sa->arg7, weight);
121 uint8_t destcn_level = args->arg7;
186 size_t count = sa->arg7;
331 capaddr_t mcn_root = (capaddr_t)sa->arg7;
462 uint8_t retcn_level = sa->arg7;
1210 msg_words[4] = sa->arg7;
|
| /barrelfish-master/kernel/arch/armv8/ |
| H A D | syscall.c | 79 capaddr_t odptr = sa->arg7;
99 sa->arg5, sa->arg6, sa->arg7, weight);
123 uint8_t destcn_level = args->arg7;
188 size_t count = sa->arg7;
329 capaddr_t mcn_root = (capaddr_t)sa->arg7;
460 uint8_t retcn_level = sa->arg7;
|