Constant DEBUG_DATA_OffsetKThreadNextProcessor 

pub const DEBUG_DATA_OffsetKThreadNextProcessor: u32 = 664u32;