Searched defs:seL4_MsgLengthBits (Results 1 - 7 of 7) sorted by relevance
/seL4-l4v-10.1.1/seL4/include/api/ | ||
H A D | constants.h | 61 seL4_MsgLengthBits = 7, enumerator in enum:seL4_MsgLimits |
/seL4-l4v-10.1.1/seL4/libsel4/include/sel4/ | ||
H A D | constants.h | 61 seL4_MsgLengthBits = 7, enumerator in enum:seL4_MsgLimits |
/seL4-l4v-10.1.1/l4v/camkes/glue-proofs/ | ||
H A D | EventFrom.c | 564 seL4_MsgLengthBits enumerator in enum:seL4_MsgLimits |
H A D | EventTo.c | 464 seL4_MsgLengthBits enumerator in enum:seL4_MsgLimits |
H A D | RPCFrom.c | 565 seL4_MsgLengthBits enumerator in enum:seL4_MsgLimits |
H A D | RPCTo.c | 564 seL4_MsgLengthBits enumerator in enum:seL4_MsgLimits |
/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ | ||
H A D | jiraver443.c | 138 enum seL4_MsgLimits { seL4_MsgLengthBits = 7, seL4_MsgExtraCapBits = 2 }; enumerator in enum:seL4_MsgLimits |
Completed in 62 milliseconds