vgic-init.c 14.9 KB