Lines Matching refs:pt_irq_bind

279     struct domain *d, const struct xen_domctl_bind_pt_irq *pt_irq_bind)  in pt_irq_create_bind()  argument
284 int rc, pirq = pt_irq_bind->machine_irq; in pt_irq_create_bind()
338 switch ( pt_irq_bind->irq_type ) in pt_irq_create_bind()
346 uint32_t gflags = pt_irq_bind->u.msi.gflags & in pt_irq_create_bind()
353 pirq_dpci->gmsi.gvec = pt_irq_bind->u.msi.gvec; in pt_irq_create_bind()
369 if ( rc == 0 && pt_irq_bind->u.msi.gtable ) in pt_irq_create_bind()
371 rc = msixtbl_pt_register(d, info, pt_irq_bind->u.msi.gtable); in pt_irq_create_bind()
406 if ( pirq_dpci->gmsi.gvec != pt_irq_bind->u.msi.gvec || in pt_irq_create_bind()
412 pirq_dpci->gmsi.gvec = pt_irq_bind->u.msi.gvec; in pt_irq_create_bind()
445 if ( pt_irq_bind->u.msi.gflags & XEN_DOMCTL_VMSI_X86_UNMASKED ) in pt_irq_create_bind()
452 pt_irq_destroy_bind(d, pt_irq_bind); in pt_irq_create_bind()
491 girq->bus = digl->bus = pt_irq_bind->u.pci.bus; in pt_irq_create_bind()
492 girq->device = digl->device = pt_irq_bind->u.pci.device; in pt_irq_create_bind()
493 girq->intx = digl->intx = pt_irq_bind->u.pci.intx; in pt_irq_create_bind()
509 if ( pt_irq_bind->irq_type != PT_IRQ_TYPE_PCI || in pt_irq_create_bind()
526 if ( pt_irq_bind->irq_type == PT_IRQ_TYPE_MSI_TRANSLATE ) in pt_irq_create_bind()
623 struct domain *d, const struct xen_domctl_bind_pt_irq *pt_irq_bind) in pt_irq_destroy_bind() argument
627 unsigned int machine_gsi = pt_irq_bind->machine_irq; in pt_irq_destroy_bind()
631 switch ( pt_irq_bind->irq_type ) in pt_irq_destroy_bind()
637 unsigned int device = pt_irq_bind->u.pci.device; in pt_irq_destroy_bind()
638 unsigned int intx = pt_irq_bind->u.pci.intx; in pt_irq_destroy_bind()
643 pt_irq_bind->u.pci.bus, in pt_irq_destroy_bind()
666 if ( hvm_irq_dpci && pt_irq_bind->irq_type != PT_IRQ_TYPE_MSI ) in pt_irq_destroy_bind()
668 unsigned int bus = pt_irq_bind->u.pci.bus; in pt_irq_destroy_bind()
669 unsigned int device = pt_irq_bind->u.pci.device; in pt_irq_destroy_bind()
670 unsigned int intx = pt_irq_bind->u.pci.intx; in pt_irq_destroy_bind()
740 unsigned int device = pt_irq_bind->u.pci.device; in pt_irq_destroy_bind()
745 pt_irq_bind->u.pci.bus, PCI_SLOT(device), in pt_irq_destroy_bind()
746 PCI_FUNC(device), pt_irq_bind->u.pci.intx); in pt_irq_destroy_bind()