libsel4platsupport/src/irq.c

92     irq_id_t irq_id;
215 static int irq_set_ntfn_common(irq_cookie_t *irq_cookie, ntfn_id_t ntfn_id, irq_id_t irq_id,
218     irq_entry_t *irq_entry = &(irq_cookie->irq_table[irq_id]);
281     ntfn_entry->bound_irqs[badge_index] = irq_id;
434 static int sel4platsupport_irq_unregister(void *cookie, irq_id_t irq_id)
438     if (!check_irq_id_is_valid(irq_cookie, irq_id)) {
442     if (!check_irq_id_is_allocated(irq_cookie, irq_id)) {
446     irq_entry_t *irq_entry = &(irq_cookie->irq_table[irq_id]);
480     unfill_bit_in_bitfield(irq_cookie->allocated_irq_bitfields, irq_id);
527     irq_id_t irq_id = data->irq_id;
529     if (!check_irq_id_is_valid(irq_cookie, irq_id)) {
534     if (!check_irq_id_is_allocated(irq_cookie, irq_id)) {
539     irq_entry_t *irq_entry = &(irq_cookie->irq_table[irq_id]);
722 int sel4platsupport_irq_set_ntfn(ps_irq_ops_t *irq_ops, ntfn_id_t ntfn_id, irq_id_t irq_id, seL4_Word *ret_badge)
740     if (!check_irq_id_is_valid(irq_cookie, irq_id) ||
741         !check_irq_id_is_allocated(irq_cookie, irq_id)) {
745     return irq_set_ntfn_common(irq_cookie, ntfn_id, irq_id, ret_badge);
748 int sel4platsupport_irq_unset_ntfn(ps_irq_ops_t *irq_ops, irq_id_t irq_id)
761     if (!check_irq_id_is_valid(irq_cookie, irq_id) ||
762         !check_irq_id_is_allocated(irq_cookie, irq_id)) {
766     irq_entry_t *irq_entry = &(irq_cookie->irq_table[irq_id]);
801 static bool perform_callback(irq_cookie_t *irq_cookie, irq_id_t irq_id, unsigned long badge_bit)
803     irq_entry_t *irq_entry = &(irq_cookie->irq_table[irq_id]);
812             .irq_cookie = irq_cookie, .irq_id = irq_id