Constant PADDR_USER_DEVICE_TOP 

pub const PADDR_USER_DEVICE_TOP: &str = "549755813888";