Constant DEBUG_DATA_KdPrintBufferSizeAddr 

pub const DEBUG_DATA_KdPrintBufferSizeAddr: u32 = 720u32;