pub const TEE_OPERATION_AE: u32 = 4;