Searched refs:gic_irq_enable (Results 1 – 5 of 5) 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
236 .gic_irq_enable = gicv3_irq_enable,
16 void gic_irq_enable(unsigned int intid);
206 gic_irq_enable(vtimer_irq); in guest_code()207 gic_irq_enable(ptimer_irq); in guest_code()
Completed in 5 milliseconds