Constant DEBUG_DATA_MmHighestUserAddressAddr

pub const DEBUG_DATA_MmHighestUserAddressAddr: u32 = 456u32;