Constant DEBUG_DATA_MmAvailablePagesAddr 

pub const DEBUG_DATA_MmAvailablePagesAddr: u32 = 424u32;