const VIRTIO_WL_PFN_SHIFT: u32 = 12;