Searched defs:bits (Results 1 – 9 of 9) sorted by relevance
| /seL4-master/src/ |
| A D | util.c | 207 unsigned bits = ((unsigned)(mask < x)) << 4; // [0, 16] in clz32() local
214 unsigned bits = ((unsigned)(mask < x)) << 3; // [0, 8] in clz32() local
221 unsigned bits = ((unsigned)(mask < x)) << 2; // [0, 4] in clz32() local
228 unsigned bits = ((unsigned)(mask < x)) << 1; // [0, 2] in clz32() local
235 unsigned bits = ((unsigned)(mask < x)) << 0; // [0, 1] in clz32() local
258 unsigned bits = ((unsigned)(mask < x)) << 5; // [0, 32] in clz64() local
265 unsigned bits = ((unsigned)(mask < x)) << 4; // [0, 16] in clz64() local
272 unsigned bits = ((unsigned)(mask < x)) << 3; // [0, 8] in clz64() local
279 unsigned bits = ((unsigned)(mask < x)) << 2; // [0, 4] in clz64() local
286 unsigned bits = ((unsigned)(mask < x)) << 1; // [0, 2] in clz64() local
[all …]
|
| /seL4-master/tools/hardware/utils/ |
| A D | __init__.py | 8 def align_up(num, bits): argument
14 def align_down(num, bits): argument
|
| /seL4-master/include/arch/arm/arch/ |
| A D | machine.h | 46 static inline void clearMemory(word_t *ptr, word_t bits) in clearMemory()
54 static inline void clearMemory_PT(word_t *ptr, word_t bits) in clearMemory_PT()
|
| /seL4-master/include/fastpath/ |
| A D | fastpath.h | 14 word_t guardBits, radixBits, bits; in lookup_fp() local
|
| /seL4-master/include/kernel/ |
| A D | boot.h | 117 static inline BOOT_CODE word_t get_n_paging(v_region_t v_reg, word_t bits) in get_n_paging()
|
| /seL4-master/libsel4/include/sel4/ |
| A D | deprecated.h | 125 … seL4_Word bits) in seL4_CapData_Guard_new()
|
| /seL4-master/include/arch/riscv/arch/ |
| A D | machine.h | 144 static inline void clearMemory(void *ptr, unsigned int bits) in clearMemory()
|
| /seL4-master/include/arch/x86/arch/ |
| A D | machine.h | 341 static inline void clearMemory(void *ptr, unsigned int bits) in clearMemory()
|
| /seL4-master/src/arch/x86/object/ |
| A D | vcpu.c | 164 static void print_bits(word_t bits) in print_bits()
|
Completed in 29 milliseconds