/**
 * @file   tlapi_fchandler.h
 * @brief  Header file for API to call driver
 *
 * Copyright (c) 2013 Samsung Electronics Co., Ltd.
 */

#ifndef __TLAPI_FCHANDLER_H__
#define __TLAPI_FCHANDLER_H__

#include "TlApi/TlApiCommon.h"
#include "TlApi/TlApiError.h"

/**
 * Get TIMA secure memory base address.
 *
 * @addr : the pointer of TIMA secure memory base address
 *
 * @return : tlApiResult_t
 *	@TLAPI_OK : TIMA secure memory base is gotten successfully.
 */
_TLAPI_EXTERN_C tlApiResult_t tlApiSecGetTimaAddr(uint32_t *addr);

#endif /* __TLAPI_FCHANDLER_H__ */