nrf52dk: enable 32bit rtimer

This commit is contained in:
Simon Duquennoy 2016-06-03 14:14:28 +02:00
parent dca929cd07
commit 1afaae3fd7

View file

@ -132,9 +132,9 @@ typedef uint32_t uip_stats_t;
/* /*
* rtimer.h typedefs rtimer_clock_t as unsigned short. We need to define * rtimer.h typedefs rtimer_clock_t as unsigned short. We need to define
* RTIMER_CLOCK_DIFF to override this * RTIMER_CLOCK_DIFF to override this
*/
typedef uint32_t rtimer_clock_t; typedef uint32_t rtimer_clock_t;
#define RTIMER_CLOCK_DIFF(a,b) ((int32_t)((a)-(b))) #define RTIMER_CLOCK_DIFF(a,b) ((int32_t)((a)-(b)))
*/
/** @} */ /** @} */
/*---------------------------------------------------------------------------*/ /*---------------------------------------------------------------------------*/