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

/seL4-test-master/projects/seL4_libs/libsel4utils/src/irq_server/
H A Dirq_server.c165 seL4_Word mask_to_use = 0; local
173 mask_to_use = usable_mask;
181 mask_to_use = MASK(seL4_BadgeBits);
188 mask_to_use, id_hint);
194 ntfn_id_t ntfn_id = sel4platsupport_irq_provide_ntfn(&(irq_server->irq_ops), ntfn_to_use, mask_to_use);
212 size_t max_irqs_bound = POPCOUNTL(mask_to_use);

Completed in 22 milliseconds