pub const GNTTABOP_unmap_and_replace: u32 = 7;