/* This file is part of mbed TLS ( */
mbedtls_time_t mbedtls_time(mbedtls_time_t *timer)
/* This file is part of mbed TLS ( */
mbedtls_time_t mbedtls_time(mbedtls_time_t *timer)
{
    return (mbedtls_time_t)tls_os_get_time();
}