Searched refs:PCI_GetDeviceID (Results 1 – 4 of 4) sorted by relevance
78 uint16_t PCI_GetDeviceID(PCIDevice *dev);
176 dev.device = PCI_GetDeviceID(&dev); in E1000_Init()
191 dev.device = PCI_GetDeviceID(&dev); in AHCI_Init()
101 PCI_GetDeviceID(PCIDevice *dev) in PCI_GetDeviceID() function