Constant DEBUG_DATA_KdPrintWritePointerAddr

pub const DEBUG_DATA_KdPrintWritePointerAddr: u32 = 496u32;