Searched refs:CTZL (Results 1 - 6 of 6) sorted by relevance

/seL4-test-master/projects/util_libs/libutils/include/utils/
H A Dbuiltin.h21 #define CTZL(x) __builtin_ctzl(x) macro
/seL4-test-master/kernel/include/arch/x86/arch/machine/
H A Dhardware.h17 #define L1_CACHE_LINE_SIZE_BITS CTZL(CONFIG_CACHE_LN_SZ)
/seL4-test-master/projects/sel4test/apps/sel4test-driver/src/
H A Dtimer.c59 seL4_Word badge_bit = CTZL(badge);
/seL4-test-master/kernel/include/
H A Dutil.h139 #define CTZL(x) __builtin_ctzl(x) macro
/seL4-test-master/projects/seL4_libs/libsel4platsupport/src/
H A Dirq.c172 /* Check to avoid undefined behaviour of CTZL(0) */
174 return CTZL(unallocated_bitfield) + (i * sizeof(seL4_Word) * CHAR_BIT);
195 /* Check to avoid undefined behaviour of CTZL(0) */
197 return CTZL(unallocated_bitfield) + (i * sizeof(seL4_Word) * CHAR_BIT);
208 /* Check to avoid undefined behaviour of CTZL(0) */
212 return CTZL(unallocated_bitfield);
692 unsigned long index = CTZL(allocated_bits);
841 unsigned long bit_index = CTZL(unchecked_bits);
867 unsigned long bit_index = CTZL(unchecked_bits);
/seL4-test-master/projects/seL4_libs/libsel4allocman/src/
H A Dbootstrap.c961 uintptr_t alignment = (base == 0) ? max_alignment : MIN(CTZL((long)base), max_alignment);

Completed in 149 milliseconds