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

/seL4-refos-master/libs/libsel4utils/src/irq_server/
H A Dirq_server.c31 size_t num_irqs_bound; member in struct:irq_server_node
103 node->num_irqs_bound++;
312 if (st->node->num_irqs_bound < st->node->max_irqs_bound) {
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/irq_server/
H A Dirq_server.c31 size_t num_irqs_bound; member in struct:irq_server_node
103 node->num_irqs_bound++;
312 if (st->node->num_irqs_bound < st->node->max_irqs_bound) {
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/
H A Dirq.c59 size_t num_irqs_bound; member in struct:__anon6
228 if (ntfn_entry->num_irqs_bound >= MAX_INTERRUPTS_TO_NOTIFICATIONS) {
279 ntfn_entry->num_irqs_bound++;
466 ntfn_entry->num_irqs_bound--;
689 if (ntfn_entry->num_irqs_bound > 0) {
789 ntfn_entry->num_irqs_bound--;
/seL4-refos-master/libs/libsel4platsupport/src/
H A Dirq.c59 size_t num_irqs_bound; member in struct:__anon2
228 if (ntfn_entry->num_irqs_bound >= MAX_INTERRUPTS_TO_NOTIFICATIONS) {
279 ntfn_entry->num_irqs_bound++;
466 ntfn_entry->num_irqs_bound--;
689 if (ntfn_entry->num_irqs_bound > 0) {
789 ntfn_entry->num_irqs_bound--;

Completed in 40 milliseconds