Constant PLATFORM_TVOS_EXCLAVECORE 

pub const PLATFORM_TVOS_EXCLAVECORE: u32 = 19;