Searched refs:n_timeoutMessage (Results 1 - 7 of 7) sorted by relevance
/seL4-l4v-master/seL4/include/machine/ |
H A D | registerset.h | 23 #define MAX_MSG_SIZE MAX(n_syscallMessage, MAX(n_timeoutMessage, n_exceptionMessage))
|
/seL4-l4v-master/seL4/include/arch/x86/arch/32/mode/machine/ |
H A D | registerset.h | 72 n_timeoutMessage = 13, enumerator in enum:messageSizes
|
/seL4-l4v-master/seL4/include/arch/x86/arch/64/mode/machine/ |
H A D | registerset.h | 84 n_timeoutMessage = 19, enumerator in enum:messageSizes
|
/seL4-l4v-master/seL4/include/arch/riscv/arch/machine/ |
H A D | registerset.h | 84 n_timeoutMessage = 32, enumerator in enum:messageSizes
|
/seL4-l4v-master/seL4/include/arch/arm/arch/64/mode/machine/ |
H A D | registerset.h | 166 n_timeoutMessage = 34, enumerator in enum:messageSizes
|
/seL4-l4v-master/seL4/include/arch/arm/arch/32/mode/machine/ |
H A D | registerset.h | 135 n_timeoutMessage = 17, enumerator in enum:messageSizes
|
/seL4-l4v-master/seL4/src/api/ |
H A D | faults.c | 136 copyMRsFaultReply(sender, receiver, MessageID_TimeoutReply, MIN(length, n_timeoutMessage));
|
Completed in 137 milliseconds