#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            qsee_printf

#endif /* __TEEPLATFORMCONFIG_H_INCLUDED__ */