Constant DEBUG_DATA_MmModifiedNoWritePageListHeadAddr 

pub const DEBUG_DATA_MmModifiedNoWritePageListHeadAddr: u32 = 416u32;