timing_alt.h

Go to the documentation of this file.

#ifndef MBEDTLS_TIMING_ALT_H
#define MBEDTLS_TIMING_ALT_H

#if !defined(MBEDTLS_CONFIG_FILE)
#include "config.h"
#else
#include MBEDTLS_CONFIG_FILE
#endif

/***************************************************************************/
/***************************************************************************/
#if defined(MBEDTLS_TIMING_ALT)

/* SiliconLabs timing implementation */

#include "em_device.h"
#include <stdint.h>

#ifdef __cplusplus
extern "C" {
#endif

void mbedtls_timing_init( void );

void mbedtls_timing_free( void );

static inline unsigned long mbedtls_timing_hardclock( void )
{
    return( DWT->CYCCNT );
}


#ifdef __cplusplus
}
#endif

#endif /* MBEDTLS_TIMING_ALT */

#endif /* MBEDTLS_TIMING_ALT_H */