vgic_type 44 include/kvm/arm_vgic.h enum vgic_type type; vgic_type 920 virt/kvm/arm/vgic/vgic-mmio.c enum vgic_type type) vgic_type 192 virt/kvm/arm/vgic/vgic.h enum vgic_type);