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