#include "ticket.hpp"

#include "cmsis_os.h"
#include "cmsis_version.h"
#include "main.h"
extern "C" {
uint32_t zos_get_tick(void) { return HAL_GetTick(); }
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;
}
}