Searched refs:n_exceptionMessage (Results 1 - 7 of 7) sorted by relevance
| /seL4-l4v-10.1.1/seL4/include/machine/ |
| H A D | registerset.h | 24 #define MAX_MSG_SIZE MAX(n_syscallMessage, n_exceptionMessage)
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/machine/ |
| H A D | registerset.h | 67 n_exceptionMessage = 3, enumerator in enum:messageSizes
|
| /seL4-l4v-10.1.1/seL4/src/api/ |
| H A D | faults.c | 27 compile_assert(seL4_UserException_Number, (word_t) n_exceptionMessage == seL4_UserException_Number)
28 compile_assert(seL4_UserException_Code, (word_t) n_exceptionMessage + 1 == seL4_UserException_Code)
136 copyMRsFaultReply(sender, receiver, MessageID_Exception, MIN(length, n_exceptionMessage));
214 n_exceptionMessage, receiveIPCBuffer);
215 setMR(receiver, receiveIPCBuffer, n_exceptionMessage,
217 return setMR(receiver, receiveIPCBuffer, n_exceptionMessage + 1u,
|
| /seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/machine/ |
| H A D | registerset.h | 89 n_exceptionMessage = 3, enumerator in enum:messageSizes
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/machine/ |
| H A D | registerset.h | 77 n_exceptionMessage = 3, enumerator in enum:messageSizes
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/machine/ |
| H A D | registerset.h | 123 n_exceptionMessage = 3, enumerator in enum:messageSizes
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/machine/ |
| H A D | registerset.h | 160 n_exceptionMessage = 3, enumerator in enum:messageSizes
|
Completed in 116 milliseconds