Searched defs:max_irqs_bound (Results 1 - 1 of 1) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4utils/src/irq_server/
H A Dirq_server.c30 size_t max_irqs_bound; member in struct:irq_server_node
110 static irq_server_node_t *irq_server_node_new(seL4_CPtr ntfn, size_t max_irqs_bound, argument
212 size_t max_irqs_bound = POPCOUNTL(mask_to_use); local

Completed in 102 milliseconds