pub const _GNTMAP_readonly: u32 = 2;