Constant SV39_TOP_HALF_BASE 

pub const SV39_TOP_HALF_BASE: usize = 0xffff_ffc0_0000_0000;