Searched refs:align_up (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/kernel/tools/hardware/utils/
H A D__init__.py8 def align_up(num, bits): function
/seL4-camkes-master/kernel/tools/hardware/
H A Dmemory.py83 new_base = utils.align_up(self.base, align_bits)
94 new_size = utils.align_up(self.size, align_bits)
/seL4-camkes-master/projects/util_libs/libcpio/src/
H A Dcpio.c27 static unsigned long align_up(unsigned long n, unsigned long align) function
149 data = (void *) align_up((unsigned long) archive + sizeof(struct cpio_header) +
151 next = (struct cpio_header *) align_up((unsigned long) data + filesize, CPIO_ALIGNMENT);
/seL4-camkes-master/kernel/manual/tools/libsel4_tools/
H A Dsyscall_stub_gen.py384 def align_up(x, a): function
412 bits_used = align_up(bits_used, min(type_size, wordsize))
/seL4-camkes-master/kernel/libsel4/tools/
H A Dsyscall_stub_gen.py384 def align_up(x, a): function
412 bits_used = align_up(bits_used, min(type_size, wordsize))

Completed in 38 milliseconds