pub type gnttab_unmap_and_replace_t = gnttab_unmap_and_replace;