Searched refs:ctzl (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/kernel/include/
H A Dutil.h130 \<acute>ret__long :== PROC ctzl(\<acute>x)
134 CONST ctzl(unsigned long x) function
/seL4-test-master/kernel/src/arch/arm/object/
H A Dvcpu.c163 irq_idx = ctzl(eisr0);
165 irq_idx = ctzl(eisr1) + 32;
/seL4-test-master/kernel/src/kernel/
H A Dboot.c600 align_bits = ctzl(reg.start);

Completed in 55 milliseconds