/*
 * Copyright (c) 2017 Samsung Electronics Co., Ltd. All rights reserved.
 *
 * Created in Samsung Ukraine R&D Center (SRK) under a contract between
 * LLC "Samsung Electronics Ukraine Company" (Kiev, Ukraine)
 * and "Samsung Electronics Co", Ltd (Seoul, Republic of Korea)
 */

/**
 * @file TzwSerialNumber.h
 * @brief Functionality to get public chip serial number, defined by each silicon provider.
 * @author Konstyantyn Volobuyev <k.volobuyev@samsung.com>
 * @date Created Jun 26, 2017
 */

#ifndef TZWSERIALNUMBER_H
#define TZWSERIALNUMBER_H

#include "TzwMisc.h"

#if defined(TIGER_TZ_MODEL_BLOWFISH)
typedef uint32_t TzwSerialNumber_t;
#else
typedef int TzwSerialNumber_t;
#endif

/**
 * @brief  Reads the serial number from PTE chain
 * @param  [out] Serial number
 * @return TzwErrorCode_t
 */
TzwErrorCode_t tzwReadSerialNumber(TzwSerialNumber_t* apSerialNumber);

#endif // TZWSERIALNUMBER_H