pci: make PCI_SBDF return a pci_sbdf_t
authorRoger Pau Monné <roger.pau@citrix.com>
Tue, 11 Jun 2019 15:18:22 +0000 (17:18 +0200)
committerJan Beulich <jbeulich@suse.com>
Tue, 11 Jun 2019 15:18:22 +0000 (17:18 +0200)
commitcde324fbad4bb8f920f0f5da6eaa56e228c65f4a
tree479041d18bbb87c5740f67b9dc6c8321fb69f565
parenta192d7af8f20ca40197337f4278ed167afab9044
pci: make PCI_SBDF return a pci_sbdf_t

And adjust it's only user.

Signed-off-by: Roger Pau Monné <roger.pau@citrix.com>
Reviewed-by: Paul Durrant <paul.durrant@citrix.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
xen/drivers/passthrough/vtd/dmar.c
xen/include/xen/pci.h