128 	nr_longs = nr_cpus + BITS_TO_LONGS(nr_irqs - VGIC_NR_PRIVATE_IRQS);  in vgic_init_bitmap()
172 	if (irq < VGIC_NR_PRIVATE_IRQS)  in vgic_bitmap_get_irq_val()
175 	return test_bit(irq - VGIC_NR_PRIVATE_IRQS, x->shared);  in vgic_bitmap_get_irq_val()
183 	if (irq < VGIC_NR_PRIVATE_IRQS) {  in vgic_bitmap_set_irq_val()
187 		irq -= VGIC_NR_PRIVATE_IRQS;  in vgic_bitmap_set_irq_val()
210 	size  = nr_cpus * VGIC_NR_PRIVATE_IRQS;  in vgic_init_bytemap()
211 	size += nr_irqs - VGIC_NR_PRIVATE_IRQS;  in vgic_init_bytemap()
217 	x->shared = x->private + nr_cpus * VGIC_NR_PRIVATE_IRQS / sizeof(u32);  in vgic_init_bytemap()
232 	if (offset < VGIC_NR_PRIVATE_IRQS) {  in vgic_bytemap_get_reg()
234 		offset += cpuid * VGIC_NR_PRIVATE_IRQS;  in vgic_bytemap_get_reg()
237 		offset -= VGIC_NR_PRIVATE_IRQS;  in vgic_bytemap_get_reg()
362 	if (irq < VGIC_NR_PRIVATE_IRQS)  in vgic_cpu_irq_set()
365 		set_bit(irq - VGIC_NR_PRIVATE_IRQS,  in vgic_cpu_irq_set()
371 	if (irq < VGIC_NR_PRIVATE_IRQS)  in vgic_cpu_irq_clear()
374 		clear_bit(irq - VGIC_NR_PRIVATE_IRQS,  in vgic_cpu_irq_clear()
917 	return dist->nr_irqs - VGIC_NR_PRIVATE_IRQS;  in vgic_nr_shared_irqs()
934 	bitmap_and(act_percpu, active, enabled, VGIC_NR_PRIVATE_IRQS);  in compute_active_for_cpu()
943 	active_private = find_first_bit(act_percpu, VGIC_NR_PRIVATE_IRQS);  in compute_active_for_cpu()
946 	return (active_private < VGIC_NR_PRIVATE_IRQS ||  in compute_active_for_cpu()
964 	bitmap_and(pend_percpu, pending, enabled, VGIC_NR_PRIVATE_IRQS);  in compute_pending_for_cpu()
973 	pending_private = find_first_bit(pend_percpu, VGIC_NR_PRIVATE_IRQS);  in compute_pending_for_cpu()
975 	return (pending_private < VGIC_NR_PRIVATE_IRQS ||  in compute_pending_for_cpu()
1212 		  VGIC_NR_PRIVATE_IRQS);  in __kvm_vgic_flush_hwstate()
1230 	for_each_set_bit_from(i, pa_percpu, VGIC_NR_PRIVATE_IRQS) {  in __kvm_vgic_flush_hwstate()
1237 		if (!vgic_queue_hwirq(vcpu, i + VGIC_NR_PRIVATE_IRQS))  in __kvm_vgic_flush_hwstate()
1308 					     vlr.irq - VGIC_NR_PRIVATE_IRQS);  in vgic_process_maintenance()
1471 	if (irq_num >= VGIC_NR_PRIVATE_IRQS) {  in vgic_update_irq_pending()
1472 		cpuid = dist->irq_spi_cpu[irq_num - VGIC_NR_PRIVATE_IRQS];  in vgic_update_irq_pending()
1605 	int nr_longs = BITS_TO_LONGS(nr_irqs - VGIC_NR_PRIVATE_IRQS);  in vgic_vcpu_init_maps()
1717 	dist->irq_spi_cpu = kzalloc(nr_irqs - VGIC_NR_PRIVATE_IRQS, GFP_KERNEL);  in vgic_init()
1755 			if (i < VGIC_NR_PRIVATE_IRQS)  in vgic_init()
1997 		if (val < (VGIC_NR_PRIVATE_IRQS + 32) ||  in vgic_set_common_attr()
2158 	unsigned int spi = irq + VGIC_NR_PRIVATE_IRQS;  in kvm_set_irq()