Constant BIND_PCI_VID_VIRTIO 

pub const BIND_PCI_VID_VIRTIO: u32 = 6900;