Constant DEBUG_DATA_KdPrintCircularBufferAddr 

pub const DEBUG_DATA_KdPrintCircularBufferAddr: u32 = 480u32;