#ifndef __SYSTICK_H__
#define __SYSTICK_H__

#include "system_ES8P5066.h"
#include "lib_config.h"
#include "port.h"
void User_SysTickInit(void);
uint32_t get_sys_ticket(void);
uint32_t port_haspassedms(uint32_t ticket);
void port_do_debug_light_state(void);
void Delayms(__IO uint32_t nTime);
#endif