126 					      vcpu->vcpu_id,  in handle_mmio_set_enable_reg_dist()
140 					      vcpu->vcpu_id,  in handle_mmio_clear_enable_reg_dist()
154 						   vcpu->vcpu_id);  in handle_mmio_set_pending_reg_dist()
167 						     vcpu->vcpu_id);  in handle_mmio_clear_pending_reg_dist()
180 						   vcpu->vcpu_id);  in handle_mmio_set_active_reg_dist()
193 						    vcpu->vcpu_id);  in handle_mmio_clear_active_reg_dist()
213 				   vcpu->vcpu_id, offset);  in handle_mmio_priority_reg_dist()
232 				  vcpu->vcpu_id, offset >> 1);  in handle_mmio_cfg_reg_dist()
282 	int vcpu_id;  in handle_mmio_route_reg()  local
314 		vcpu_id = vcpu->vcpu_id;  in handle_mmio_route_reg()
315 		bmap = vgic_bitmap_get_shared_map(&dist->irq_spi_target[vcpu_id]);  in handle_mmio_route_reg()
330 		vcpu_id = vcpu->vcpu_id;  in handle_mmio_route_reg()
331 		dist->irq_spi_cpu[spi] = vcpu_id;  in handle_mmio_route_reg()
332 		bmap = vgic_bitmap_get_shared_map(&dist->irq_spi_target[vcpu_id]);  in handle_mmio_route_reg()
546 	int target_vcpu_id = redist_vcpu->vcpu_id;  in handle_mmio_typer_redist()
558 	reg = redist_vcpu->vcpu_id << 8;  in handle_mmio_typer_redist()
573 				      redist_vcpu->vcpu_id,  in handle_mmio_set_enable_reg_redist()
584 				      redist_vcpu->vcpu_id,  in handle_mmio_clear_enable_reg_redist()
595 					  redist_vcpu->vcpu_id);  in handle_mmio_set_active_reg_redist()
605 					     redist_vcpu->vcpu_id);  in handle_mmio_clear_active_reg_redist()
615 					   redist_vcpu->vcpu_id);  in handle_mmio_set_pending_reg_redist()
625 					     redist_vcpu->vcpu_id);  in handle_mmio_clear_pending_reg_redist()
636 				   redist_vcpu->vcpu_id, offset);  in handle_mmio_priority_reg_redist()
649 				       redist_vcpu->vcpu_id, offset >> 1);  in handle_mmio_cfg_reg_redist()
937 	int vcpu_id = vcpu->vcpu_id;  in vgic_v3_dispatch_sgi()  local
967 		if (broadcast && c == vcpu_id)  in vgic_v3_dispatch_sgi()
984 		kvm_debug("SGI%d from CPU%d to CPU%d\n", sgi, vcpu_id, c);  in vgic_v3_dispatch_sgi()