#include "tz_arcounter_defs.h"

#include "attn.h"
#ifdef ICCC_v4
#include "icccOperations_v4.h"
#else
#include "icccOperations.h"
#endif

uint32_t set_attn(uint32_t flag, uint32_t value)
{
  uint32_t iccc_ret = ICCC_UNKNOWN_TYPE;

  if (flag == ATTN_SC_STATUS) {
    iccc_ret = Iccc_SaveData_TA(SECTIMER_STATUS, value);
  }
  else if (flag == ATTN_SC_REF_TIME) {
    iccc_ret = Iccc_SaveData_TA(SECTIMER_BASE, value);
  }

  return iccc_ret;
}

uint32_t get_attn(uint32_t flag, uint32_t *value)
{
  uint32_t iccc_ret = ICCC_UNKNOWN_TYPE;

  if (flag == ATTN_SC_STATUS) {
    iccc_ret = Iccc_ReadData_TA(SECTIMER_STATUS, value);
  }
  else if (flag == ATTN_SC_REF_TIME) {
    iccc_ret = Iccc_ReadData_TA(SECTIMER_BASE, value);
  }

  return iccc_ret;
}