const VIRTIO_MMIO_REGION_SZ: u64 = 0x200;