Home
last modified time | relevance | path

Searched refs:clzl (Results 1 – 12 of 12) sorted by relevance

/seL4-master/src/plat/bcm2837/machine/
A Dintc.c41 irq = (wordBits - 1 - clzl(pending)); in getActiveIRQ()
53 return (wordBits - 1 - clzl(pending)) + BASIC_IRQ_OFFSET; in getActiveIRQ()
59 return (wordBits - 1 - clzl(pending)) + 32 + NORMAL_IRQ_OFFSET; in getActiveIRQ()
64 return (wordBits - 1 - clzl(pending)) + 0 + NORMAL_IRQ_OFFSET; in getActiveIRQ()
/seL4-master/src/arch/arm/armv/armv7-a/
A Dcache.c75 int assoc_bits = wordBits - clzl(assoc - 1); in clean_D_PoU()
96 int assoc_bits = wordBits - clzl(assoc - 1); in cleanInvalidate_D_by_level()
/seL4-master/src/arch/arm/armv/armv8-a/64/
A Dcache.c65 int assoc_bits = wordBits - clzl(assoc - 1); in clean_D_PoU()
82 int assoc_bits = wordBits - clzl(assoc - 1); in cleanInvalidate_D_by_level()
/seL4-master/src/arch/arm/armv/armv8-a/32/
A Dcache.c75 int assoc_bits = wordBits - clzl(assoc - 1); in clean_D_PoU()
96 int assoc_bits = wordBits - clzl(assoc - 1); in cleanInvalidate_D_by_level()
/seL4-master/src/arch/x86/smp/
A Dipi.c88 int core = wordBits - 1 - clzl(mask); in x86_ipi_send_mask()
100 int index = wordBits - 1 - clzl(sub_mask); in x86_ipi_send_mask()
/seL4-master/include/32/mode/
A Dutil.h26 uint64_t c = ((uint64_t) 32u + clzl(denominator)) - clzll(numerator); in div64()
/seL4-master/include/kernel/
A Dthread.h70 l1index = wordBits - 1 - clzl(NODE_STATE(ksReadyQueuesL1Bitmap)[dom]); in getHighestPrio()
73 l2index = wordBits - 1 - clzl(NODE_STATE(ksReadyQueuesL2Bitmap)[dom][l1index_inverted]); in getHighestPrio()
/seL4-master/src/smp/
A Dipi.c119 int index = wordBits - 1 - clzl(mask); in generic_ipi_send_mask()
/seL4-master/include/
A Dutil.h188 CONST clzl(unsigned long x) in clzl() function
/seL4-master/src/kernel/
A Dboot.c310 word_t clzl_ret = clzl(ROUND_UP(extra_size, seL4_PageBits)); in calculate_extra_bi_size_bits()
607 unsigned int size_bits = seL4_WordBits - 1 - clzl(reg.end - reg.start); in create_untypeds_for_region()
/seL4-master/
A Dconfig.cmake521 "Expose implementations of clzl and clzll to verification by avoiding the use \
/seL4-master/src/arch/x86/object/
A Dvcpu.c168 int index = seL4_WordBits - 1 - clzl(bits); in print_bits()

Completed in 18 milliseconds