Searched refs:clzl (Results 1 - 11 of 11) sorted by relevance

/seL4-test-master/kernel/src/plat/bcm2837/machine/
H A Dintc.c41 irq = (wordBits - 1 - clzl(pending));
53 return (wordBits - 1 - clzl(pending)) + BASIC_IRQ_OFFSET;
59 return (wordBits - 1 - clzl(pending)) + 32 + NORMAL_IRQ_OFFSET;
64 return (wordBits - 1 - clzl(pending)) + 0 + NORMAL_IRQ_OFFSET;
/seL4-test-master/kernel/include/32/mode/
H A Dutil.h26 uint64_t c = ((uint64_t) 32u + clzl(denominator)) - clzll(numerator);
/seL4-test-master/kernel/src/arch/arm/armv/armv8-a/64/
H A Dcache.c65 int assoc_bits = wordBits - clzl(assoc - 1);
82 int assoc_bits = wordBits - clzl(assoc - 1);
/seL4-test-master/kernel/src/arch/arm/armv/armv8-a/32/
H A Dcache.c75 int assoc_bits = wordBits - clzl(assoc - 1);
96 int assoc_bits = wordBits - clzl(assoc - 1);
/seL4-test-master/kernel/src/arch/arm/armv/armv7-a/
H A Dcache.c75 int assoc_bits = wordBits - clzl(assoc - 1);
96 int assoc_bits = wordBits - clzl(assoc - 1);
/seL4-test-master/kernel/src/arch/x86/smp/
H A Dipi.c88 int core = wordBits - 1 - clzl(mask);
100 int index = wordBits - 1 - clzl(sub_mask);
/seL4-test-master/kernel/src/smp/
H A Dipi.c119 int index = wordBits - 1 - clzl(mask);
/seL4-test-master/kernel/include/kernel/
H A Dthread.h67 /* it's undefined to call clzl on 0 */
70 l1index = wordBits - 1 - clzl(NODE_STATE(ksReadyQueuesL1Bitmap)[dom]);
73 l2index = wordBits - 1 - clzl(NODE_STATE(ksReadyQueuesL2Bitmap)[dom][l1index_inverted]);
/seL4-test-master/kernel/include/
H A Dutil.h116 \<acute>ret__long :== PROC clzl(\<acute>x)
120 CONST clzl(unsigned long x) function
/seL4-test-master/kernel/src/kernel/
H A Dboot.c304 word_t clzl_ret = clzl(ROUND_UP(extra_size, seL4_PageBits));
596 size_bits = seL4_WordBits - 1 - clzl(reg.end - reg.start);
/seL4-test-master/kernel/src/arch/x86/object/
H A Dvcpu.c168 int index = seL4_WordBits - 1 - clzl(bits);

Completed in 69 milliseconds