vgic-init.c 10.8 KB