Searched refs:gicv_idx (Results 1 – 1 of 1) sorted by relevance
239 u32 gicv_idx; in vgic_v3_probe() local259 if (of_property_read_u32(vgic_node, "#redistributor-regions", &gicv_idx)) in vgic_v3_probe()260 gicv_idx = 1; in vgic_v3_probe()262 gicv_idx += 3; /* Also skip GICD, GICC, GICH */ in vgic_v3_probe()263 if (of_address_to_resource(vgic_node, gicv_idx, &vcpu_res)) { in vgic_v3_probe()