#ifndef VPX_VPX_PORTS_VPX_TIMER_H_
#define VPX_VPX_PORTS_VPX_TIMER_H_
#include "./vpx_config.h"
#include "vpx/vpx_integer.h"
#if CONFIG_OS_SUPPORT
#if defined(_WIN32)
#undef NOMINMAX
#define NOMINMAX
#ifndef WIN32_LEAN_AND_MEAN
#define WIN32_LEAN_AND_MEAN
#endif
#include <windows.h>
#else
#include <sys/time.h>
#ifndef timersub
#define timersub …
#endif
#endif
struct vpx_usec_timer { … };
static INLINE void vpx_usec_timer_start(struct vpx_usec_timer *t) { … }
static INLINE void vpx_usec_timer_mark(struct vpx_usec_timer *t) { … }
static INLINE int64_t vpx_usec_timer_elapsed(struct vpx_usec_timer *t) { … }
#else
#ifndef timersub
#define timersub …
#endif
struct vpx_usec_timer {
void *dummy;
};
static INLINE void vpx_usec_timer_start(struct vpx_usec_timer *t) {}
static INLINE void vpx_usec_timer_mark(struct vpx_usec_timer *t) {}
static INLINE int vpx_usec_timer_elapsed(struct vpx_usec_timer *t) { return 0; }
#endif
#endif