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

/seL4-l4v-10.1.1/seL4/src/plat/bcm2837/machine/
H A Dintc.c49 irq = (wordBits - 1 - clzl(pending));
61 return (wordBits - 1 - clzl(pending)) + BASIC_IRQ_OFFSET;
67 return (wordBits - 1 - clzl(pending)) + 32 + NORMAL_IRQ_OFFSET;
72 return (wordBits - 1 - clzl(pending)) + 0 + NORMAL_IRQ_OFFSET;
/seL4-l4v-10.1.1/seL4/include/kernel/
H A Dthread.h73 /* it's undefined to call clzl on 0 */
76 l1index = wordBits - 1 - clzl(NODE_STATE(ksReadyQueuesL1Bitmap)[dom]);
79 l2index = wordBits - 1 - clzl(NODE_STATE(ksReadyQueuesL2Bitmap)[dom][l1index_inverted]);
/seL4-l4v-10.1.1/seL4/src/arch/arm/armv/armv7-a/
H A Dcache.c85 int assoc_bits = wordBits - clzl(assoc - 1);
114 int assoc_bits = wordBits - clzl(assoc - 1);
/seL4-l4v-10.1.1/seL4/src/arch/arm/armv/armv8-a/32/
H A Dcache.c85 int assoc_bits = wordBits - clzl(assoc - 1);
114 int assoc_bits = wordBits - clzl(assoc - 1);
/seL4-l4v-10.1.1/seL4/src/arch/arm/armv/armv8-a/64/
H A Dcache.c78 int assoc_bits = wordBits - clzl(assoc - 1);
106 int assoc_bits = wordBits - clzl(assoc - 1);
/seL4-l4v-10.1.1/seL4/src/arch/x86/smp/
H A Dipi.c94 int core = wordBits - 1 - clzl(mask);
106 int index = wordBits - 1 - clzl(sub_mask);
/seL4-l4v-10.1.1/seL4/src/smp/
H A Dipi.c119 int index = wordBits - 1 - clzl(mask);
/seL4-l4v-10.1.1/seL4/include/
H A Dutil.h113 \<acute>ret__long :== PROC clzl(\<acute>x)
117 CONST clzl(unsigned long x) function
/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dboot.c246 /* determine power of 2 size of this region. avoid calling clzl on 0 though */
253 word_t size_bits = seL4_WordBits - 1 - clzl(ROUND_UP(extra_size, seL4_PageBits));
538 size_bits = seL4_WordBits - 1 - clzl(reg.end - reg.start);
/seL4-l4v-10.1.1/seL4/src/arch/x86/object/
H A Dvcpu.c179 int index = seL4_WordBits - 1 - clzl(bits);

Completed in 65 milliseconds