#include "ticket.hpp"

extern "C" {
uint32_t zos_get_tick(void) {
#ifdef IFLYTOP_ENABLE_OS
  return osKernelSysTick();
#else
  return HAL_GetTick();
#endif
}
uint32_t zos_haspassedms2(uint32_t lastticket, uint32_t nowticket) {
  if (nowticket >= lastticket) {
    return nowticket - lastticket;
  }
  return UINT32_MAX - lastticket + nowticket;
}
uint32_t zos_haspassedms(uint32_t ticket) {
  uint32_t nowticket = zos_get_tick();
  if (nowticket >= ticket) {
    return nowticket - ticket;
  }
  return UINT32_MAX - ticket + nowticket;
}
}