#include <tee_internal_api.h>
#include <tees_log.h>

TEE_Result TA_CreateEntryPoint(void) 
{
  MB_LOGI("%s %s\n", __DATE__, __TIME__);

  return TEE_SUCCESS;
}

void TA_DestroyEntryPoint(void) 
{
  MB_LOGI("%s %s\n", __DATE__, __TIME__);
}

TEE_Result TA_OpenSessionEntryPoint(uint32_t paramTypes, TEE_Param params[4],
                                    void **sessionContext) {
    (void) paramTypes;
    (void) params;
    (void) sessionContext;
    
    MB_LOGI("%s %s\n", __DATE__, __TIME__);

    return TEE_SUCCESS;
}

void TA_CloseSessionEntryPoint(void *sessionContext) {
    (void) sessionContext;

    MB_LOGI("%s %s\n", __DATE__, __TIME__);
}

TEE_Result TA_InvokeCommandEntryPoint(void *sessionContext, uint32_t commandID,
                                      uint32_t paramTypes, TEE_Param params[4]) {
    (void) sessionContext;
    (void) commandID;
    (void) paramTypes;
    (void) params;
    
    MB_LOGI("%s %s\n", __DATE__, __TIME__);

    return TEE_SUCCESS;
}