Searched refs:VIRTIO_PCI_DEVICE_ID_BASE (Results 1 – 1 of 1) sorted by relevance
194 const VIRTIO_PCI_DEVICE_ID_BASE: u16 = 0x1040; // Add to device type to get device ID. constant236 let pci_device_id = VIRTIO_PCI_DEVICE_ID_BASE + device.device_type() as u16; in new()