943 	int nr_shared = vgic_nr_shared_irqs(dist);  in compute_active_for_cpu()  local
956 	bitmap_and(act_shared, active, enabled, nr_shared);  in compute_active_for_cpu()
959 		   nr_shared);  in compute_active_for_cpu()
962 	active_shared = find_first_bit(act_shared, nr_shared);  in compute_active_for_cpu()
965 		active_shared < nr_shared);  in compute_active_for_cpu()
973 	int nr_shared = vgic_nr_shared_irqs(dist);  in compute_pending_for_cpu()  local
982 		bitmap_zero(pend_shared, nr_shared);  in compute_pending_for_cpu()
992 	bitmap_and(pend_shared, pending, enabled, nr_shared);  in compute_pending_for_cpu()
995 		   nr_shared);  in compute_pending_for_cpu()
998 	pending_shared = find_first_bit(pend_shared, nr_shared);  in compute_pending_for_cpu()
1256 	int nr_shared = vgic_nr_shared_irqs(dist);  in __kvm_vgic_flush_hwstate()  local
1266 		  nr_shared);  in __kvm_vgic_flush_hwstate()
1288 	for_each_set_bit(i, pa_shared, nr_shared) {  in __kvm_vgic_flush_hwstate()