vgic_irq.c revision 90f50aca
1