Searched refs:vgic_type (Results 1 – 3 of 3) sorted by relevance
47 enum vgic_type { enum55 enum vgic_type type;
202 enum vgic_type);
870 enum vgic_type type) in vgic_register_dist_iodev()
