vgic_init.c 23.3 KB