vgic-init.c 15.3 KB