pub const GNTMAP_host_map: u32 = 2;