Searched refs:n_syscallMessage (Results 1 - 7 of 7) sorted by relevance
| /seL4-refos-master/kernel/include/machine/ |
| H A D | registerset.h | 23 #define MAX_MSG_SIZE MAX(n_syscallMessage, MAX(n_timeoutMessage, n_exceptionMessage))
25 #define MAX_MSG_SIZE MAX(n_syscallMessage, n_exceptionMessage)
|
| /seL4-refos-master/kernel/src/api/ |
| H A D | faults.c | 24 compile_assert(seL4_UnknownSyscall_Syscall, (word_t) n_syscallMessage == seL4_UnknownSyscall_Syscall)
127 copyMRsFaultReply(sender, receiver, MessageID_Syscall, MIN(length, n_syscallMessage));
204 copyMRsFault(sender, receiver, MessageID_Syscall, n_syscallMessage,
207 return setMR(receiver, receiveIPCBuffer, n_syscallMessage,
|
| /seL4-refos-master/kernel/include/arch/x86/arch/32/mode/machine/ |
| H A D | registerset.h | 70 n_syscallMessage = 10, enumerator in enum:messageSizes
|
| /seL4-refos-master/kernel/include/arch/x86/arch/64/mode/machine/ |
| H A D | registerset.h | 82 n_syscallMessage = 18, enumerator in enum:messageSizes
|
| /seL4-refos-master/kernel/include/arch/riscv/arch/machine/ |
| H A D | registerset.h | 82 n_syscallMessage = 10, enumerator in enum:messageSizes
|
| /seL4-refos-master/kernel/include/arch/arm/arch/64/mode/machine/ |
| H A D | registerset.h | 164 n_syscallMessage = 12, enumerator in enum:messageSizes
|
| /seL4-refos-master/kernel/include/arch/arm/arch/32/mode/machine/ |
| H A D | registerset.h | 133 n_syscallMessage = 12, enumerator in enum:messageSizes
|
Completed in 42 milliseconds