Searched refs:vgic_type (Results 1 – 4 of 4) sorted by relevance
39 enum vgic_type { enum47 enum vgic_type type;
213 enum vgic_type);
501 enum vgic_type type; in kvm_vgic_map_resources()
1081 enum vgic_type type) in vgic_register_dist_iodev()