vgic-init.c 15.1 KB