pub const _GNTMAP_guest_avail0: u32 = 16;