Constant XENMEM_reserved_device_memory_map

pub const XENMEM_reserved_device_memory_map: u32 = 27;