pub const DEBUG_DATA_KdPrintWritePointerAddr: u32 = 496u32;