vgic_init.c 21.9 KB