Constant SNAPSHOT_PT_GVA_MAX 

pub const SNAPSHOT_PT_GVA_MAX: usize = 0xffff_80ff_ffff_ffff;