Searched refs:n_timeoutMessage (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))
|
| /seL4-master/include/arch/x86/arch/32/mode/machine/ |
| A D | registerset.h | 72 n_timeoutMessage = 13, enumerator
|
| /seL4-master/include/arch/x86/arch/64/mode/machine/ |
| A D | registerset.h | 84 n_timeoutMessage = 19, enumerator
|
| /seL4-master/include/arch/riscv/arch/machine/ |
| A D | registerset.h | 84 n_timeoutMessage = 32, enumerator
|
| /seL4-master/include/arch/arm/arch/32/mode/machine/ |
| A D | registerset.h | 128 n_timeoutMessage = 17, enumerator
|
| /seL4-master/include/arch/arm/arch/64/mode/machine/ |
| A D | registerset.h | 166 n_timeoutMessage = 34, enumerator
|
| /seL4-master/src/api/ |
| A D | faults.c | 136 copyMRsFaultReply(sender, receiver, MessageID_TimeoutReply, MIN(length, n_timeoutMessage)); in handleFaultReply()
|
Completed in 8 milliseconds