#ifndef __TEEPLATFORMCONFIG_H_INCLUDED__
#define __TEEPLATFORMCONFIG_H_INCLUDED__

#include "qsee_log.h"

#if (defined _UINT32_DEFINED)
#define qc_uint32_t uint32
#else
#define qc_uint32_t uint32_t
#endif	// End of _UINT32_DEFINED

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

#endif /* __TEEPLATFORMCONFIG_H_INCLUDED__ */