Searched refs: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
117 new_node->max_irqs_bound = max_irqs_bound;
212 size_t max_irqs_bound = POPCOUNTL(mask_to_use); local
214 new_node = irq_server_node_new(ntfn_to_use, max_irqs_bound, irq_server->malloc_ops);
312 if (st->node->num_irqs_bound < st->node->max_irqs_bound) {

Completed in 24 milliseconds