160 u32 *vgic_bitmap_get_reg(struct vgic_bitmap *x, int cpuid, u32 offset)  in vgic_bitmap_get_reg()  argument
164 		return (u32 *)(x->private + cpuid) + REG_OFFSET_SWIZZLE;  in vgic_bitmap_get_reg()
170 				   int cpuid, int irq)  in vgic_bitmap_get_irq_val()  argument
173 		return test_bit(irq, x->private + cpuid);  in vgic_bitmap_get_irq_val()
178 void vgic_bitmap_set_irq_val(struct vgic_bitmap *x, int cpuid,  in vgic_bitmap_set_irq_val()  argument
184 		reg = x->private + cpuid;  in vgic_bitmap_set_irq_val()
196 static unsigned long *vgic_bitmap_get_cpu_map(struct vgic_bitmap *x, int cpuid)  in vgic_bitmap_get_cpu_map()  argument
198 	return x->private + cpuid;  in vgic_bitmap_get_cpu_map()
228 u32 *vgic_bytemap_get_reg(struct vgic_bytemap *x, int cpuid, u32 offset)  in vgic_bytemap_get_reg()  argument
234 		offset += cpuid * VGIC_NR_PRIVATE_IRQS;  in vgic_bytemap_get_reg()
1451 static int vgic_update_irq_pending(struct kvm *kvm, int cpuid,  in vgic_update_irq_pending()  argument
1462 	vcpu = kvm_get_vcpu(kvm, cpuid);  in vgic_update_irq_pending()
1472 		cpuid = dist->irq_spi_cpu[irq_num - VGIC_NR_PRIVATE_IRQS];  in vgic_update_irq_pending()
1473 		if (cpuid == VCPU_NOT_ALLOCATED) {  in vgic_update_irq_pending()
1475 			cpuid = 0;  in vgic_update_irq_pending()
1478 		vcpu = kvm_get_vcpu(kvm, cpuid);  in vgic_update_irq_pending()
1481 	kvm_debug("Inject IRQ%d level %d CPU%d\n", irq_num, level, cpuid);  in vgic_update_irq_pending()
1516 		set_bit(cpuid, dist->irq_pending_on_cpu);  in vgic_update_irq_pending()
1522 	return ret ? cpuid : -EINVAL;  in vgic_update_irq_pending()
1539 int kvm_vgic_inject_irq(struct kvm *kvm, int cpuid, unsigned int irq_num,  in kvm_vgic_inject_irq()  argument
1567 	vcpu_id = vgic_update_irq_pending(kvm, cpuid, irq_num, level);  in kvm_vgic_inject_irq()