vgic.c revision 10825b55
1