Constant PADDR_USER_DEVICE_TOP

pub const PADDR_USER_DEVICE_TOP: &str = "1099511627776";