vgic-init.c 11.3 KB