Constant BIND_PLATFORM_DEV_DID_OPTEE 

pub const BIND_PLATFORM_DEV_DID_OPTEE: u32 = 14;