Home
last modified time | relevance | path

Searched refs:ctzl (Results 1 – 4 of 4) sorted by relevance

/seL4-master/include/
A Dutil.h235 CONST ctzl(unsigned long x) in ctzl() function
/seL4-master/src/arch/arm/object/
A Dvcpu.c171 irq_idx = ctzl(eisr0); in VGICMaintenance()
173 irq_idx = ctzl(eisr1) + 32; in VGICMaintenance()
/seL4-master/src/kernel/
A Dboot.c616 unsigned int align_bits = ctzl(reg.start); in create_untypeds_for_region()
/seL4-master/
A Dconfig.cmake528 "Expose implementations of ctzl and ctzll to verification by avoiding the use \

Completed in 14 milliseconds