Home
last modified time | relevance | path

Searched refs:sizeBits (Results 1 – 3 of 3) sorted by relevance

/seL4-master/include/object/
A Duntyped.h23 #define MAX_FREE_INDEX(sizeBits) (BIT((sizeBits) - seL4_MinUntypedBits)) argument
/seL4-master/libsel4/include/sel4/
A Dbootinfo_types.h49 seL4_Uint8 sizeBits;/* size (2^n) bytes of each untyped */ member
/seL4-master/manual/parts/
A Dbootup.tex192 \texttt{seL4\_Uint8} & \texttt{sizeBits} & size ($2^n$ bytes) of the untyped object \\

Completed in 4 milliseconds