Constant devices::virtio::wl::NEXT_VFD_ID_BASE

const NEXT_VFD_ID_BASE: u32 = 0x40000000;