Constant SNAPSHOT_PT_GVA_MIN 

pub const SNAPSHOT_PT_GVA_MIN: usize = 0xffff_8000_0000_0000;