Constant DEBUG_DATA_MmHighestUserAddressAddr 

pub const DEBUG_DATA_MmHighestUserAddressAddr: u32 = 456u32;