#ifndef __SYSTICK_H
#define __SYSTICK_H
#include "at32a423.h"

void systick_config(void);
void delay_us(uint32_t _us);
void delay_ms(uint32_t _ms);
uint64_t get_system_tick(void);
#endif