Searched refs:gic_irq_enable (Results 1 – 6 of 6) sorted by relevance
66 void gic_irq_enable(unsigned int intid) in gic_irq_enable() function69 gic_common_ops->gic_irq_enable(intid); in gic_irq_enable()
13 void (*gic_irq_enable)(unsigned int intid); member
383 .gic_irq_enable = gicv3_irq_enable,
26 void gic_irq_enable(unsigned int intid);
213 gic_irq_enable(vtimer_irq); in guest_code()214 gic_irq_enable(ptimer_irq); in guest_code()
484 gic_irq_enable(i); in guest_code()