Constant ITT_PLATFORM 

pub const ITT_PLATFORM: u32 = 2;