Searched refs:CLZL (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/projects/util_libs/libutils/include/utils/
H A Dbuiltin.h22 #define CLZL(x) __builtin_clzl(x) macro
H A Darith.h46 * 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 Dsingle_level.c74 index = BITS_PER_WORD - 1 - CLZL(cspace->bitmap[i]);
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/
H A Dslab.c204 size_t total_size_bits = seL4_WordBits - CLZL(total_size);
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/
H A Dbootstrap.c969 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