Constant DEBUG_DATA_KdPrintBufferSizeAddr

pub const DEBUG_DATA_KdPrintBufferSizeAddr: u32 = 720u32;