Searched refs:requester_vcpu (Results 1 – 1 of 1) sorted by relevance
565 struct kvm_vcpu *requester_vcpu = kvm_get_running_vcpu(); in vgic_mmio_change_active() local570 vgic_hw_irq_change_active(vcpu, irq, active, !requester_vcpu); in vgic_mmio_change_active()595 active_source = (requester_vcpu) ? requester_vcpu->vcpu_id : 0; in vgic_mmio_change_active()