Searched refs:popcountl (Results 1 - 4 of 4) sorted by relevance

/seL4-test-master/kernel/src/arch/arm/smp/
H A Dipi.c26 totalCoreBarrier = popcountl(mask);
/seL4-test-master/kernel/include/
H A Dutil.h157 CONST popcountl(unsigned long mask) function
171 #define POPCOUNTL(x) popcountl(x)
/seL4-test-master/kernel/src/arch/riscv/smp/
H A Dipi.c28 totalCoreBarrier = popcountl(mask);
/seL4-test-master/kernel/src/arch/x86/smp/
H A Dipi.c26 totalCoreBarrier = popcountl(mask);

Completed in 88 milliseconds