_GNTMAP_guest_avail0
(1 << _GNTMAP_guest_avail0);
#define GNTMAP_guest_avail_mask ((uint32_t)~0 << _GNTMAP_guest_avail0)