Constant XENMAPSPACE_dev_mmio 

pub const XENMAPSPACE_dev_mmio: u32 = 5;