vgic-init.c 14.5 KB