#ifndef __TEEPLATFORMCONFIG_H_INCLUDED__
#define __TEEPLATFORMCONFIG_H_INCLUDED__

#include "tlStd.h"
#define TEE_PLATFORM_PRINT(STR) tlApiLogPrintf("%s\n", STR)
#define TEE_LOG(fmt, ...) tlApiLogPrintf("[E]"TRUSTLET_TAG" %-18s:%4d: "fmt"\n", \
		(strrchr(__FILE__, '/') == NULL) ? __FILE__ : strrchr(__FILE__, '/') + 1, __LINE__, ##__VA_ARGS__)

#endif /* __TEEPLATFORMCONFIG_H_INCLUDED__ */