vgic.c revision f0032773
1