tee_smc.h

Go to the documentation of this file.

#pragma once

#include <stdint.h>
#include <tee_internal_api.h>
#include <driver/smc/smc.h>

#define U(n)            ((unsigned int)(n))

typedef int TEES_SMCHandle;

typedef struct smc_data TEES_SMCData;

DSO_EXPORT TEE_Result TEES_SMCInit(TEES_SMCHandle *handle);

DSO_EXPORT TEE_Result TEES_SMCFini(TEES_SMCHandle handle);

DSO_EXPORT TEE_Result TEES_SMCCommand(TEES_SMCHandle handle, TEES_SMCData *data);