/*
 * Copyright (c) 2019 Samsung Electronics Co., Ltd. All rights reserved.
 */

#include <inttypes.h>

// Blowfish includes
#if defined(TZ_MODEL_BLOWFISH)
    #include <fcntl.h>
    #include <sys/ioctl.h>
    #include <errno.h>
    #include <tee_internal_api.h>
#else // QSEE includes
#endif

#if defined(TZ_MODEL_BLOWFISH)
uint64_t systemTime(){
    TEE_Time now;
    TEE_GetSystemTime(&now);

    return now.seconds * 1000 + now.millis;
}

#else /* TZ_MODEL_BLOWFISH */

uint64_t systemTime(){

    return 0;
}

#endif