/*
 * =====================================================================================
 *
 *       Filename:  process_cmd.h
 *
 *    Description:  PEBBLE process command
 *
 *        Version:  1.0
 *        Created:  06/03/2020
 *       Revision:  none
 *       Compiler:  gcc
 *
 *        Company:  Samsung Electronics
 *        Copyright (c) 2020 by Samsung Electronics, All rights reserved.
 *
 * =====================================================================================
 */

#ifndef _PEBBLE_PROCESS_CMD_H_
#define _PEBBLE_PROCESS_CMD_H_

/**
 * Conditional includes
 */
#ifdef CONFIG_QSEE
#include "tz_iccc_comdef.h"
#else
#include "Iccc_Interface.h"
#endif

/**
 * PEBBLE includes
 */
#include "tz_pebble_interface.h"
#include "pebble_defs.h"
#include "pebble_core.h"
#include "pebble_utils.h"

/**
 * @brief
 * process_cmd
 * Process command
 *
 * @param[in] commandId - command id
 * @param[in] tci_req   - tci request message
 * @param[in] tci_resp  - tci response message
 *
 * @return PEBBLE status code
 */
pebble_return_code_t process_cmd(uint32_t commandId, tci_message_t *tci_req, tci_message_t *tci_resp);

#endif /* _PEBBLE_PROCESS_CMD_H_ */