vgic-init.c 16 KB