PS100/Source/delay.h

#ifndef __DELAY_H
#define __DELAY_H 			   

extern uint32_t utc_seconds;
extern uint64_t shark_mseconds;


void systick_close(void);
void systick_config(void);
void delay_1ms(uint32_t count);
void delay_1us(uint16_t cnt);
uint64_t shark_get_time_safe(void);

static inline uint64_t shark_get_time(void)
{
	return shark_mseconds;
}

#endif