Constant ITT_OS_LINUX 

pub const ITT_OS_LINUX: u32 = 2;