pub const DEBUG_DATA_KdPrintCircularBufferAddr: u32 = 480u32;