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 11 milliseconds