Constant TEE_OPERATION_CIPHER 

pub const TEE_OPERATION_CIPHER: u32 = 1;