pub const DEBUG_DATA_KdPrintCircularBufferEndAddr: u32 = 488u32;