vgic_init.c 17.4 KB