Constant XENMAPSPACE_dev_mmio

pub const XENMAPSPACE_dev_mmio: u32 = 5;