Constant DEBUG_DATA_MmBadPagesDetected

pub const DEBUG_DATA_MmBadPagesDetected: u32 = 800u32;