pub const GNTMAP_application_map: u32 = 8;