Searched defs:gic_irq_set_pending (Results 1 – 2 of 2) sorted by relevance
24 void (*gic_irq_set_pending)(uint32_t intid); member
135 void gic_irq_set_pending(unsigned int intid) in gic_irq_set_pending() function