pub const DEBUG_DATA_MmBadPagesDetected: u32 = 800u32;