pub const DEBUG_DATA_OffsetKThreadNextProcessor: u32 = 664u32;