vgic-debug.c 7.06 KB