#ifndef __HANDLERS_H__
#define __HANDLERS_H__

#include "five_app.h"
#include <tee_internal_api.h>

static inline TEE_Result FiveRegisterKernelHandler(void) {
  return TEE_SUCCESS;
}

static inline TEE_Result FiveEntryPointHandler(uint32_t commandID,
                             uint32_t paramTypes, TEE_Param params[4]) {
  return FiveCommandHandler(commandID, paramTypes, params);
}

#endif // __HANDLERS_H__