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);