vgic-init.c 5.11 KB