pub const DEBUG_DATA_OffsetKThreadKernelStack: u32 = 668u32;