Searched defs:levels (Results 1 - 2 of 2) sorted by relevance
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/ | ||
H A D | util.py | 104 def levels(self): member in class:Arch 112 def levels(self): member in class:IA32Arch 131 def levels(self): member in class:X64Arch 156 def levels(self): member in class:ARM32Arch 175 def levels(self): member in class:AARCH64Arch 206 def levels(self): member in class:RISCV64Arch 227 def levels(self): member in class:RISCV32Arch [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/ | ||
H A D | bootstrap.c | 497 int bootstrap_transfer_caps_simple(bootstrap_info_t *bs, simple_t *simple, int levels) { argument 1167 static allocman_t *bootstrap_new_simple(simple_t *simple, int levels, size_t l1size, size_t l2size, size_t pool_size, void *pool) { argument [all...] |
Completed in 83 milliseconds