/**
 * @file  trng.h
 * @brief TRNG API for Fastcall driver
 *
 * Copyright (c) 2014 Samsung Electronics Co., Ltd.
 *
 * This software is proprietary of Samsung Electronics.
 * No part of this software, either material or conceptual may be copied
 * or distributed, transmitted, transcribed, stored in a retrieval system
 * or translated into any human or computer language in any form by any means,
 * electronic, mechanical, manual or otherwise, or disclosed to third parties
 * without the express written permission of Samsung Electronics.
 */

#ifndef __TRNG_H__
#define __TRNG_H__

#ifdef __cplusplus
extern "C" {
#endif

#define MC_FC_RET_OK			0
#define MC_FC_RET_ERR_RETRY		1

uint32_t rng_get_seed(fastcall_registers_t regs);

#ifdef __cplusplus
}
#endif

#endif