Constant PADDR_USER_DEVICE_TOP

pub const PADDR_USER_DEVICE_TOP: &str = "17592186044416";