Searched refs:dest_vcpu_id (Results 1 – 4 of 4) sorted by relevance
344 int dest_vcpu_id; in pt_irq_create_bind() local423 dest_vcpu_id = hvm_girq_dest_2_vcpu_id(d, dest, dest_mode); in pt_irq_create_bind()424 pirq_dpci->gmsi.dest_vcpu_id = dest_vcpu_id; in pt_irq_create_bind()428 vcpu = (dest_vcpu_id >= 0) ? d->vcpu[dest_vcpu_id] : NULL; in pt_irq_create_bind()437 if ( dest_vcpu_id >= 0 ) in pt_irq_create_bind()438 hvm_migrate_pirqs(d->vcpu[dest_vcpu_id]); in pt_irq_create_bind()758 dpci->gmsi.dest_vcpu_id = -1; in pt_pirq_init()
124 int dest_vcpu_id = -1, w = 0; in hvm_girq_dest_2_vcpu_id() local135 dest_vcpu_id = v->vcpu_id; in hvm_girq_dest_2_vcpu_id()141 return dest_vcpu_id; in hvm_girq_dest_2_vcpu_id()
472 (pirq_dpci->gmsi.dest_vcpu_id == v->vcpu_id) ) in hvm_migrate_pirq()
137 int dest_vcpu_id; /* -1 :multi-dest, non-negative: dest_vcpu_id */ member
Completed in 12 milliseconds