128 					      vcpu->vcpu_id,  in handle_mmio_set_enable_reg_dist()
142 					      vcpu->vcpu_id,  in handle_mmio_clear_enable_reg_dist()
156 						   vcpu->vcpu_id);  in handle_mmio_set_pending_reg_dist()
169 						     vcpu->vcpu_id);  in handle_mmio_clear_pending_reg_dist()
189 				   vcpu->vcpu_id, offset);  in handle_mmio_priority_reg_dist()
208 				  vcpu->vcpu_id, offset >> 1);  in handle_mmio_cfg_reg_dist()
258 	int vcpu_id;  in handle_mmio_route_reg()  local
290 		vcpu_id = vcpu->vcpu_id;  in handle_mmio_route_reg()
291 		bmap = vgic_bitmap_get_shared_map(&dist->irq_spi_target[vcpu_id]);  in handle_mmio_route_reg()
306 		vcpu_id = vcpu->vcpu_id;  in handle_mmio_route_reg()
307 		dist->irq_spi_cpu[spi] = vcpu_id;  in handle_mmio_route_reg()
308 		bmap = vgic_bitmap_get_shared_map(&dist->irq_spi_target[vcpu_id]);  in handle_mmio_route_reg()
522 	int target_vcpu_id = redist_vcpu->vcpu_id;  in handle_mmio_typer_redist()
534 	reg = redist_vcpu->vcpu_id << 8;  in handle_mmio_typer_redist()
549 				      redist_vcpu->vcpu_id,  in handle_mmio_set_enable_reg_redist()
560 				      redist_vcpu->vcpu_id,  in handle_mmio_clear_enable_reg_redist()
571 					   redist_vcpu->vcpu_id);  in handle_mmio_set_pending_reg_redist()
581 					     redist_vcpu->vcpu_id);  in handle_mmio_clear_pending_reg_redist()
592 				   redist_vcpu->vcpu_id, offset);  in handle_mmio_priority_reg_redist()
605 				       redist_vcpu->vcpu_id, offset >> 1);  in handle_mmio_cfg_reg_redist()
893 	int vcpu_id = vcpu->vcpu_id;  in vgic_v3_dispatch_sgi()  local
923 		if (broadcast && c == vcpu_id)  in vgic_v3_dispatch_sgi()
940 		kvm_debug("SGI%d from CPU%d to CPU%d\n", sgi, vcpu_id, c);  in vgic_v3_dispatch_sgi()