Searched refs:n_syscallMessage (Results 1 – 7 of 7) sorted by relevance
/seL4-master/include/machine/ |
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-master/src/api/ |
A D | faults.c | 24 compile_assert(seL4_UnknownSyscall_Syscall, (word_t) n_syscallMessage == seL4_UnknownSyscall_Syscal… 127 copyMRsFaultReply(sender, receiver, MessageID_Syscall, MIN(length, n_syscallMessage)); in handleFaultReply() 204 copyMRsFault(sender, receiver, MessageID_Syscall, n_syscallMessage, in setMRs_fault() 207 return setMR(receiver, receiveIPCBuffer, n_syscallMessage, in setMRs_fault()
|
/seL4-master/include/arch/x86/arch/32/mode/machine/ |
A D | registerset.h | 70 n_syscallMessage = 10, enumerator
|
/seL4-master/include/arch/x86/arch/64/mode/machine/ |
A D | registerset.h | 82 n_syscallMessage = 18, enumerator
|
/seL4-master/include/arch/riscv/arch/machine/ |
A D | registerset.h | 82 n_syscallMessage = 10, enumerator
|
/seL4-master/include/arch/arm/arch/32/mode/machine/ |
A D | registerset.h | 126 n_syscallMessage = 12, enumerator
|
/seL4-master/include/arch/arm/arch/64/mode/machine/ |
A D | registerset.h | 164 n_syscallMessage = 12, enumerator
|
Completed in 10 milliseconds