pci_device
uint8_t pci_device:5;
printf(" PCI dev = %u\n", ent->pci_device);
int64_t hv_pci_config_get(uint64_t devhandle, uint64_t pci_device,
int64_t hv_pci_config_put(uint64_t devhandle, uint64_t pci_device,
static struct pci_device bktr_device = {
struct pci_device *pd;
struct pci_device *pb_bridge; /* Parent bridge, or NULL */
struct pci_device pb_device[PCI_MAX_DEVICE * PCI_MAX_FUNC];
struct pci_device *, uint8_t);
pci_new_bus(struct pci_resources *pr, uint8_t busno, struct pci_device *bridge)
struct pci_device *pd;
struct pci_device *pd)
struct pci_device *pd, pcireg_t mapreg_start, pcireg_t mapreg_end,
struct pci_device *pd)
struct pci_device *pd;
struct pci_device *bridge_dev, uint8_t busno)
struct pci_device *pd)
struct pci_device *pd, *bridge;
pci_resource_alloc_device(struct pci_resources *pr, struct pci_device *pd)