Constant devices::virtio::virtio_pci_device::NOTIFICATION_BAR_OFFSET

const NOTIFICATION_BAR_OFFSET: u64 = 0x3000;