Searched refs:seL4_MsgLengthBits (Results 1 - 12 of 12) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/api/
H A Dconstants.h61 seL4_MsgLengthBits = 7, enumerator in enum:seL4_MsgLimits
/seL4-l4v-10.1.1/seL4/libsel4/include/sel4/
H A Dconstants.h61 seL4_MsgLengthBits = 7, enumerator in enum:seL4_MsgLimits
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/fastpath/
H A Dfastpath.h101 return ((msgInfo & MASK(seL4_MsgLengthBits + seL4_MsgExtraCapBits))
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/fastpath/
H A Dfastpath.h80 return (msgInfo & MASK(seL4_MsgLengthBits + seL4_MsgExtraCapBits)) > 4;
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/fastpath/
H A Dfastpath.h86 return (msgInfo & MASK(seL4_MsgLengthBits + seL4_MsgExtraCapBits)) > 4;
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/fastpath/
H A Dfastpath.h99 return (msgInfo & MASK(seL4_MsgLengthBits + seL4_MsgExtraCapBits)) > 2;
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/fastpath/
H A Dfastpath.h132 return ((msgInfo & MASK(seL4_MsgLengthBits + seL4_MsgExtraCapBits))
/seL4-l4v-10.1.1/l4v/camkes/glue-proofs/
H A DEventFrom.c564 seL4_MsgLengthBits enumerator in enum:seL4_MsgLimits
H A DEventTo.c464 seL4_MsgLengthBits enumerator in enum:seL4_MsgLimits
H A DRPCFrom.c565 seL4_MsgLengthBits enumerator in enum:seL4_MsgLimits
H A DRPCTo.c564 seL4_MsgLengthBits enumerator in enum:seL4_MsgLimits
/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Djiraver443.c138 enum seL4_MsgLimits { seL4_MsgLengthBits = 7, seL4_MsgExtraCapBits = 2 }; enumerator in enum:seL4_MsgLimits

Completed in 67 milliseconds