Searched refs:target_vcpu (Results 1 – 1 of 1) sorted by relevance
100 int target_vcpu; member485 irq->target_vcpu = vcpu_vcpuid(hypctx->vcpu); in vgic_v3_cpuinit()486 MPASS(irq->target_vcpu >= 0); in vgic_v3_cpuinit()740 int target_vcpu, i; in write_pendr() local757 target_vcpu = irq->target_vcpu; in write_pendr()758 if (target_vcpu < 0) in write_pendr()760 target_hypctx = hyp->ctx[target_vcpu]; in write_pendr()771 notify = vgic_v3_queue_irq(hyp, vgic_cpu, target_vcpu, in write_pendr()779 vcpu_notify_event(vm_vcpu(hyp->vm, target_vcpu)); in write_pendr()817 int target_vcpu, i; in write_activer() local[all …]