1772 	pci_dev_t pdev;  in hc_reset()  local
1784 	pdev = pci_find_devices(ehci_pci_ids, CONFIG_PCI_EHCI_DEVNO);  in hc_reset()
1785 	if (pdev != -1) {  in hc_reset()
1789 		pci_read_config_dword(pdev, PCI_BASE_ADDRESS_0, &base);  in hc_reset()
2010 	pci_dev_t pdev;  in usb_lowlevel_init()  local
2039 	pdev = pci_find_devices(ohci_pci_ids, CONFIG_PCI_OHCI_DEVNO);  in usb_lowlevel_init()
2041 	if (pdev != -1) {  in usb_lowlevel_init()
2044 		pci_read_config_word(pdev, PCI_VENDOR_ID, &vid);  in usb_lowlevel_init()
2045 		pci_read_config_word(pdev, PCI_DEVICE_ID, &did);  in usb_lowlevel_init()
2047 				vid, did, (pdev >> 16) & 0xff,  in usb_lowlevel_init()
2048 				(pdev >> 11) & 0x1f, (pdev >> 8) & 0x7);  in usb_lowlevel_init()
2049 		pci_read_config_dword(pdev, PCI_BASE_ADDRESS_0, &base);  in usb_lowlevel_init()