#include <protocol.h>

ProtocolCmd g_cmd_buffer = { 0 };

TEE_Result TEE_Wait(uint32_t timeout) {
  return TEE_SUCCESS;
}