pci: make PCI_SBDF2 return a pci_sbdf_t
authorRoger Pau Monné <roger.pau@citrix.com>
Tue, 11 Jun 2019 15:19:06 +0000 (17:19 +0200)
committerJan Beulich <jbeulich@suse.com>
Tue, 11 Jun 2019 15:19:06 +0000 (17:19 +0200)
commitf1379f1bbfbae02c9aa229667df9f56c802f8d0e
tree664726ac49b78fdad491831a24e19ab436b85e79
parentcde324fbad4bb8f920f0f5da6eaa56e228c65f4a
pci: make PCI_SBDF2 return a pci_sbdf_t

And adjust it's only user.

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