#pragma once
#include <stdint.h>
void     xs_delay_us(int us);
void     xs_delay_ms(int ms);
void     xs_os_delay_ms(int ms);
uint32_t  xs_get_ticket(void);
uint32_t xs_has_passedms(uint32_t ticket);