16 	cap_offset = pci_config_readb(dev->bdf, PCI_CAPABILITY_LIST);  in pci_cap_walk()
18 		cap_id = pci_config_readb(dev->bdf, cap_offset);  in pci_cap_walk()
21 		cap_offset = pci_config_readb(dev->bdf, cap_offset + 1);  in pci_cap_walk()
33 	msi_control = pci_config_readw(dev->bdf, offset + PCI_MSI_FLAGS);  in pci_msi_set_enable()
40 	pci_config_writew(dev->bdf, offset + PCI_MSI_FLAGS, msi_control);  in pci_msi_set_enable()
52 		printf("MSI: dev %#x does not support MSI.\n", dev->bdf);  in pci_setup_msi()
56 	addr = dev->bdf;  in pci_setup_msi()
77 	uint16_t val = pci_config_readw(dev->bdf, PCI_COMMAND);  in pci_cmd_set_clr()
84 	pci_config_writew(dev->bdf, PCI_COMMAND, val);  in pci_cmd_set_clr()
117 	return pci_config_readl(dev->bdf, PCI_BASE_ADDRESS_0 +  in pci_bar_get()
131 	phys_addr = pci_translate_addr(dev->bdf, addr);  in __pci_bar_get_addr()
157 	pci_config_writel(dev->bdf, off, (uint32_t)addr);  in pci_bar_set_addr()
161 		pci_config_writel(dev->bdf, off + 4, (uint32_t)(addr >> 32));  in pci_bar_set_addr()
179 	uint16_t bdf = dev->bdf;  in pci_bar_size_helper()  local
182 	bar = pci_config_readl(bdf, off);  in pci_bar_size_helper()
183 	pci_config_writel(bdf, off, ~0u);  in pci_bar_size_helper()
184 	val = pci_config_readl(bdf, off);  in pci_bar_size_helper()
185 	pci_config_writel(bdf, off, bar);  in pci_bar_size_helper()
282 	pcidevaddr_t bdf = dev->bdf;  in pci_dev_print_id()  local
284 	printf("00.%02x.%1x %04x:%04x", bdf / 8, bdf % 8,  in pci_dev_print_id()
285 		pci_config_readw(bdf, PCI_VENDOR_ID),  in pci_dev_print_id()
286 		pci_config_readw(bdf, PCI_DEVICE_ID));  in pci_dev_print_id()
293 		uint16_t control = pci_config_readw(dev->bdf, cap_offset + PCI_MSI_FLAGS);  in pci_cap_print()
306 	pcidevaddr_t bdf = dev->bdf;  in pci_dev_print()  local
307 	uint8_t header = pci_config_readb(bdf, PCI_HEADER_TYPE);  in pci_dev_print()
308 	uint8_t progif = pci_config_readb(bdf, PCI_CLASS_PROG);  in pci_dev_print()
309 	uint8_t subclass = pci_config_readb(bdf, PCI_CLASS_DEVICE);  in pci_dev_print()
310 	uint8_t class = pci_config_readb(bdf, PCI_CLASS_DEVICE + 1);  in pci_dev_print()
346 void pci_dev_init(struct pci_dev *dev, pcidevaddr_t bdf)  in pci_dev_init()  argument
351 	dev->bdf = bdf;  in pci_dev_init()
369 	return pci_config_readb(dev->bdf, PCI_INTERRUPT_LINE);  in pci_intx_line()