Constant TEE_ERROR_SECURITY 

pub const TEE_ERROR_SECURITY: u32 = 0xFFFF000F;