vgic-debug.c 6.11 KB