/*
 * =====================================================================================
 *
 *       Filename:  process_cmd_TA.h
 *
 *    Description:  HDM process command
 *
 *        Version:  1.0
 *        Created:  09/16/2019 15:26:11 PM
 *       Revision:  none
 *       Compiler:  gcc
 *
 *        Company:  Samsung Electronics
 *        Copyright (c) 2015 by Samsung Electronics, All rights reserved.
 *
 * =====================================================================================
 */

#ifndef _HDM_PROCESS_TA_CMD_H_
#define _HDM_PROCESS_TA_CMD_H_

#include "hdmOperations.h"
#include "hdm_tata_common.h"
#include "hdm_defs.h"
#include "hdm_allowlist.h"
#include "hdm_hypervisor.h"

/**
 * @brief
 * process_cmd_from_ta
 * Process command from other TA
 *
 * @param[in] commandId - command id
 * @param[in] sendmsg   - tci request message
 * @param[in] respmsg   - tci response message
 * @param[in] ta_name   - ta_name will be checked
 *
 * @return HDM status code
 */
hdm_return_code_t process_cmd_from_ta(uint32_t commandId, hdmMessage_t *sendmsg, hdmMessage_t *respmsg, TEEC_UUID *ta_name);

#endif /* _HDM_PROCESS_CMD_H_ */