uboot/include/sandboxtee.h
<<
>>
Prefs
   1/* SPDX-License-Identifier: GPL-2.0+ */
   2/*
   3 * Copyright (C) 2018 Linaro Limited
   4 */
   5
   6#ifndef __SANDBOXTEE_H
   7#define __SANDBOXTEE_H
   8
   9#include <search.h>
  10#include <tee/optee_ta_avb.h>
  11
  12/**
  13 * struct sandbox_tee_state - internal state of the sandbox TEE
  14 * @session:                    current open session
  15 * @num_shms:                   number of registered shared memory objects
  16 * @ta:                         Trusted Application of current session
  17 * @ta_avb_rollback_indexes     TA avb rollback indexes storage
  18 * @ta_avb_lock_state           TA avb lock state storage
  19 * @pstorage_htab               named persistent values storage
  20 */
  21struct sandbox_tee_state {
  22        u32 session;
  23        int num_shms;
  24        void *ta;
  25        u64 ta_avb_rollback_indexes[TA_AVB_MAX_ROLLBACK_LOCATIONS];
  26        u32 ta_avb_lock_state;
  27        struct hsearch_data pstorage_htab;
  28};
  29
  30#endif /*__SANDBOXTEE_H*/
  31