Searched refs:PCIGetDeviceID (Results 1 – 1 of 1) sorted by relevance
35 PCIGetDeviceID(uint32_t bus, uint32_t device, uint32_t func) in PCIGetDeviceID() function144 deviceId = PCIGetDeviceID(bus, device, func); in PCICheckFunction()307 deviceId = PCIGetDeviceID(bus, device, func); in DebugPCICheckFunction()409 kprintf("Device ID: %04x\n", PCIGetDeviceID(bus, device, func)); in Debug_PCIDump()