cc32xx_time.h

Go to the documentation of this file.

#ifndef CC32XX_TIME_H_
#define CC32XX_TIME_H_

#include <time.h>

typedef long kaa_time_t;

#define KAA_TIME() (kaa_time_t)cc32xx_time()

long cc32xx_time(void);
long long cc32xx_clock_getms(void);

#endif /* CC32XX_TIME_H_ */