#include "_clock_gettimeofday.h"
#ifndef ETL_CLOCK_DEFAULT_DESC_CLASS
#define ETL_CLOCK_DEFAULT_DESC_CLASS _ETL::clock_desc_gettimeofday
#include "_clock_gettimeofday.h"
#ifndef ETL_CLOCK_DEFAULT_DESC_CLASS
#define ETL_CLOCK_DEFAULT_DESC_CLASS _ETL::clock_desc_gettimeofday