Searched refs:word_size_bits (Results 1 - 4 of 4) sorted by relevance
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/ | ||
H A D | util.py | 120 def word_size_bits(self): member in class:IA32Arch 142 def word_size_bits(self): member in class:X64Arch 164 def word_size_bits(self): member in class:ARM32Arch 195 def word_size_bits(self): member in class:AARCH64Arch 216 def word_size_bits(self): member in class:RISCV64Arch 235 def word_size_bits(self): member in class:RISCV32Arch |
H A D | Object.py | 305 x.set_guard_size(arch.word_size_bits() - self.size_bits) |
/seL4-camkes-master/projects/capdl/cdl_utils/ | ||
H A D | untyped_gen.py | 34 size_bits = (end - start).bit_length() - 1 if start < end else arch.word_size_bits() |
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ | ||
H A D | macros.py | 390 return int(lookup_architecture(arch).word_size_bits()/8) |
Completed in 118 milliseconds