Searched refs:gicv_idx (Results 1 – 1 of 1) sorted by relevance
1939 u32 gicv_idx; in gic_of_setup_kvm_info() local1948 &gicv_idx)) in gic_of_setup_kvm_info()1949 gicv_idx = 1; in gic_of_setup_kvm_info()1951 gicv_idx += 3; /* Also skip GICD, GICC, GICH */ in gic_of_setup_kvm_info()1952 ret = of_address_to_resource(node, gicv_idx, &r); in gic_of_setup_kvm_info()