Constant ITT_PLATFORM_FREEBSD 

pub const ITT_PLATFORM_FREEBSD: u32 = 4;