Constant DEBUG_DATA_MmHighestPhysicalPageAddr 

pub const DEBUG_DATA_MmHighestPhysicalPageAddr: u32 = 240u32;