Searched refs:gic_irq_set_pending (Results 1 – 4 of 4) sorted by relevance
135 void gic_irq_set_pending(unsigned int intid) in gic_irq_set_pending() function138 gic_common_ops->gic_irq_set_pending(intid); in gic_irq_set_pending()
24 void (*gic_irq_set_pending)(uint32_t intid); member
399 .gic_irq_set_pending = gicv3_irq_set_pending,
56 void gic_irq_set_pending(unsigned int intid);