Constant TEE_ERROR_CIPHERTEXT_INVALID 

pub const TEE_ERROR_CIPHERTEXT_INVALID: u32 = 4027580422;