Constant TEE_ERROR_CIPHERTEXT_INVALID 

pub const TEE_ERROR_CIPHERTEXT_INVALID: u32 = 0xF0100006;