if ( !pba )
{
gprintk(XENLOG_WARNING,
- "%pp: unable to map MSI-X PBA, report all pending\n",
- msix->pdev);
+ "%04x:%02x:%02x.%u: unable to map MSI-X PBA, report all pending\n",
+ msix->pdev->seg, msix->pdev->bus, PCI_SLOT(msix->pdev->devfn),
+ PCI_FUNC(msix->pdev->devfn));
return X86EMUL_OKAY;
}
{
/* Unable to map the PBA, ignore write. */
gprintk(XENLOG_WARNING,
- "%pp: unable to map MSI-X PBA, write ignored\n",
- msix->pdev);
+ "%04x:%02x:%02x.%u: unable to map MSI-X PBA, write ignored\n",
+ msix->pdev->seg, msix->pdev->bus,
+ PCI_SLOT(msix->pdev->devfn),
+ PCI_FUNC(msix->pdev->devfn));
return X86EMUL_OKAY;
}