Searched refs:gic_irq_enable (Results 1 – 7 of 7) sorted by relevance
62 void gic_irq_enable(unsigned int intid) in gic_irq_enable() function65 gic_common_ops->gic_irq_enable(intid); in gic_irq_enable()
13 void (*gic_irq_enable)(unsigned int intid); member
388 .gic_irq_enable = gicv3_irq_enable,
153 gic_irq_enable(vtimer_irq); in guest_code()154 gic_irq_enable(ptimer_irq); in guest_code()
839 gic_irq_enable(vtimer_irq); in guest_code()840 gic_irq_enable(ptimer_irq); in guest_code()
477 gic_irq_enable(i); in guest_code()
40 void gic_irq_enable(unsigned int intid);