Constant DEBUG_DATA_KdPrintCircularBufferPtrAddr

pub const DEBUG_DATA_KdPrintCircularBufferPtrAddr: u32 = 712u32;