pub const DEBUG_DATA_KdPrintBufferSizeAddr: u32 = 720u32;