Searched refs:pciDeviceId (Results 1 – 1 of 1) sorted by relevance
794 uint16 pciDeviceId = pci->read_pci_config(device, PCI_device_id, 2); in register_child_devices() local797 if (pciDeviceId >= VIRTIO_PCI_DEVICEID_MODERN_MIN) in register_child_devices()798 virtioDeviceId = pciDeviceId - VIRTIO_PCI_DEVICEID_MODERN_MIN; in register_child_devices()