vgic_init.c 18.3 KB