pub const TEE_OPERATION_STATE_ACTIVE: u32 = 1;