pub const VIRTIO_MMIO_QUEUE_NOTIFY: u32 = 80;