Constant DEBUG_DATA_KdPrintWritePointerAddr 

pub const DEBUG_DATA_KdPrintWritePointerAddr: u32 = 496u32;