925 	int nr_shared = vgic_nr_shared_irqs(dist);  in compute_active_for_cpu()  local
938 	bitmap_and(act_shared, active, enabled, nr_shared);  in compute_active_for_cpu()
941 		   nr_shared);  in compute_active_for_cpu()
944 	active_shared = find_first_bit(act_shared, nr_shared);  in compute_active_for_cpu()
947 		active_shared < nr_shared);  in compute_active_for_cpu()
955 	int nr_shared = vgic_nr_shared_irqs(dist);  in compute_pending_for_cpu()  local
968 	bitmap_and(pend_shared, pending, enabled, nr_shared);  in compute_pending_for_cpu()
971 		   nr_shared);  in compute_pending_for_cpu()
974 	pending_shared = find_first_bit(pend_shared, nr_shared);  in compute_pending_for_cpu()
1204 	int nr_shared = vgic_nr_shared_irqs(dist);  in __kvm_vgic_flush_hwstate()  local
1214 		  nr_shared);  in __kvm_vgic_flush_hwstate()
1236 	for_each_set_bit(i, pa_shared, nr_shared) {  in __kvm_vgic_flush_hwstate()