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

/seL4-test-master/projects/util_libs/libutils/include/utils/
H A Dbuiltin.h30 #define POPCOUNTL(x) __builtin_popcountl(x) macro
/seL4-test-master/kernel/include/
H A Dutil.h171 #define POPCOUNTL(x) popcountl(x) macro
/seL4-test-master/projects/seL4_libs/libsel4utils/src/irq_server/
H A Dirq_server.c212 size_t max_irqs_bound = POPCOUNTL(mask_to_use);
/seL4-test-master/projects/seL4_libs/libsel4platsupport/src/
H A Dirq.c590 size_t bits_in_mask = POPCOUNTL(usable_mask);

Completed in 44 milliseconds