vgic.c revision 90f50aca
1