Constant GNTTABOP_unmap_and_replace

pub const GNTTABOP_unmap_and_replace: u32 = 7;