Searched refs:alignUp (Results 1 - 3 of 3) sorted by relevance
/seL4-l4v-10.1.1/HOL4/polyml/basis/ |
H A D | Foreign.sml | 477 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 D | ForeignMemory.sml | 73 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 D | untyped.c | 26 alignUp(word_t baseValue, word_t alignment) function 226 alignedFreeRef = alignUp(freeRef, objectSize);
|
Completed in 96 milliseconds