Constant DEBUG_DATA_OffsetKThreadKernelStack 

pub const DEBUG_DATA_OffsetKThreadKernelStack: u32 = 668u32;