@ -28,11 +28,7 @@
#undef wakeup
#if WORDSIZE == 32
typedef uint64_t swtime_t;
#else
typedef uint32_t swtime_t;
#endif
/**
* A swtimer.