Constant DEBUG_DATA_KdPrintCircularBufferPtrAddr 

pub const DEBUG_DATA_KdPrintCircularBufferPtrAddr: u32 = 712u32;