Searched refs:alignUp (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DForeign.sml477 fun alignUp(s, align) = Word.andb(s + align-0w1, ~ align) function
727 alignUp(foldl(fn ({align, size, ...}, s) => alignUp(s, align) + size) 0w0 fields, align)
754 val resultSize = alignUp(ffiMinArgSize, #align saPointer)
1226 val offsetb = alignUp(sizea, alignb)
1247 val offsetb = alignUp(sizea, alignb)
1248 val offsetc = alignUp(offsetb + sizeb, alignc)
1271 val offsetb = alignUp(sizea, alignb)
1272 val offsetc = alignUp(offsetb + sizeb, alignc)
1273 val offsetd = alignUp(offset
[all...]
H A DForeignMemory.sml73 fun alignUp(s, align) = Word.andb(s + align-0w1, ~ align) function
158 val overhead = alignUp(wordSize, maxAlign)
201 val space = alignUp(s + overhead, maxAlign)
/seL4-l4v-10.1.1/seL4/src/object/
H A Duntyped.c26 alignUp(word_t baseValue, word_t alignment) function
226 alignedFreeRef = alignUp(freeRef, objectSize);

Completed in 96 milliseconds