Searched refs:CLZL (Results 1 - 5 of 5) sorted by relevance
/seL4-camkes-master/projects/util_libs/libutils/include/utils/ |
H A D | builtin.h | 22 #define CLZL(x) __builtin_clzl(x) macro
|
H A D | arith.h | 46 * We have CLZL, which tells us how many places from the 'left' it is, 49 #define LOG_BASE_2(n) (sizeof(unsigned long) * CHAR_BIT - CLZL(n) - 1)
|
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/cspace/ |
H A D | single_level.c | 74 index = BITS_PER_WORD - 1 - CLZL(cspace->bitmap[i]);
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/ |
H A D | slab.c | 204 size_t total_size_bits = seL4_WordBits - CLZL(total_size);
|
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/ |
H A D | bootstrap.c | 969 size_t next_size_bits = seL4_WordBits - 1 - CLZL((long)next_size); 971 ZF_LOGD("goal 0x%zx, base: 0x%zx, next_size: 0x%zx, 0x%zx, 0x%zx, 0x%zx", goal, base, (uintptr_t) BIT(next_size_bits), next_size, CLZL((long)next_size),alignment);
|
Completed in 86 milliseconds