#ifndef SPRD_TIMER_H
#define SPRD_TIMER_H

#include <asm/arch/sprd_reg.h>
#include <sci_types.h>

void timer_init(void);
void udelay(uint32 us);
void mdelay(uint32 ms);
uint32 sprd_get_syscnt(void);

#endif //SPRD_TIMER_H