Searched refs:dest_vcpu_id (Results 1 – 4 of 4) sorted by relevance
345 int dest_vcpu_id; in pt_irq_create_bind() local424 dest_vcpu_id = hvm_girq_dest_2_vcpu_id(d, dest, dest_mode); in pt_irq_create_bind()425 pirq_dpci->gmsi.dest_vcpu_id = dest_vcpu_id; in pt_irq_create_bind()429 vcpu = (dest_vcpu_id >= 0) ? d->vcpu[dest_vcpu_id] : NULL; in pt_irq_create_bind()780 dpci->gmsi.dest_vcpu_id = -1; in pt_pirq_init()
139 int dest_vcpu_id; /* -1 :multi-dest, non-negative: dest_vcpu_id */ member
128 int dest_vcpu_id = -1, w = 0; in hvm_girq_dest_2_vcpu_id() local139 dest_vcpu_id = v->vcpu_id; in hvm_girq_dest_2_vcpu_id()145 return dest_vcpu_id; in hvm_girq_dest_2_vcpu_id()
503 (pirq_dpci->gmsi.dest_vcpu_id == v->vcpu_id) ) in hvm_migrate_pirq()
Completed in 13 milliseconds