vgic-init.c 14 KB