Constant TEE_ERROR_GENERIC 

pub const TEE_ERROR_GENERIC: u32 = 0xFFFF0000;