sxitimer_readcnt32
uint32_t now = sxitimer_readcnt32();
while ((now - sxitimer_readcnt32()) < TIMER_SYNC)
return (u_int)UINT_MAX - sxitimer_readcnt32();
uint32_t sxitimer_readcnt32(void);