requester_vcpu    396 virt/kvm/arm/vgic/vgic-mmio.c 	struct kvm_vcpu *requester_vcpu = vgic_get_mmio_requester_vcpu();
requester_vcpu    401 virt/kvm/arm/vgic/vgic-mmio.c 		vgic_hw_irq_change_active(vcpu, irq, active, !requester_vcpu);
requester_vcpu    419 virt/kvm/arm/vgic/vgic-mmio.c 		active_source = (requester_vcpu) ? requester_vcpu->vcpu_id : 0;