188 u32 *vgic_bitmap_get_reg(struct vgic_bitmap *x, int cpuid, u32 offset)  in vgic_bitmap_get_reg()  argument
192 		return (u32 *)(x->private + cpuid) + REG_OFFSET_SWIZZLE;  in vgic_bitmap_get_reg()
198 				   int cpuid, int irq)  in vgic_bitmap_get_irq_val()  argument
201 		return test_bit(irq, x->private + cpuid);  in vgic_bitmap_get_irq_val()
206 void vgic_bitmap_set_irq_val(struct vgic_bitmap *x, int cpuid,  in vgic_bitmap_set_irq_val()  argument
212 		reg = x->private + cpuid;  in vgic_bitmap_set_irq_val()
224 static unsigned long *vgic_bitmap_get_cpu_map(struct vgic_bitmap *x, int cpuid)  in vgic_bitmap_get_cpu_map()  argument
226 	return x->private + cpuid;  in vgic_bitmap_get_cpu_map()
256 u32 *vgic_bytemap_get_reg(struct vgic_bytemap *x, int cpuid, u32 offset)  in vgic_bytemap_get_reg()  argument
262 		offset += cpuid * VGIC_NR_PRIVATE_IRQS;  in vgic_bytemap_get_reg()
1524 static int vgic_update_irq_pending(struct kvm *kvm, int cpuid,  in vgic_update_irq_pending()  argument
1534 	trace_vgic_update_irq_pending(cpuid, irq_num, level);  in vgic_update_irq_pending()
1541 	vcpu = kvm_get_vcpu(kvm, cpuid);  in vgic_update_irq_pending()
1551 		cpuid = dist->irq_spi_cpu[irq_num - VGIC_NR_PRIVATE_IRQS];  in vgic_update_irq_pending()
1552 		if (cpuid == VCPU_NOT_ALLOCATED) {  in vgic_update_irq_pending()
1554 			cpuid = 0;  in vgic_update_irq_pending()
1557 		vcpu = kvm_get_vcpu(kvm, cpuid);  in vgic_update_irq_pending()
1560 	kvm_debug("Inject IRQ%d level %d CPU%d\n", irq_num, level, cpuid);  in vgic_update_irq_pending()
1573 					clear_bit(cpuid, dist->irq_pending_on_cpu);  in vgic_update_irq_pending()
1599 		set_bit(cpuid, dist->irq_pending_on_cpu);  in vgic_update_irq_pending()
1607 		kvm_vcpu_kick(kvm_get_vcpu(kvm, cpuid));  in vgic_update_irq_pending()
1650 int kvm_vgic_inject_irq(struct kvm *kvm, int cpuid, unsigned int irq_num,  in kvm_vgic_inject_irq()  argument
1660 	map = vgic_irq_map_search(kvm_get_vcpu(kvm, cpuid), irq_num);  in kvm_vgic_inject_irq()
1664 	return vgic_update_irq_pending(kvm, cpuid, NULL, irq_num, level);  in kvm_vgic_inject_irq()
1681 int kvm_vgic_inject_mapped_irq(struct kvm *kvm, int cpuid,  in kvm_vgic_inject_mapped_irq()  argument
1690 	return vgic_update_irq_pending(kvm, cpuid, map, map->virt_irq, level);  in kvm_vgic_inject_mapped_irq()