/*******************************************************************************
* Project:      Amped'RF Bluetooth
* File name:    GKI_tim.h
* Description:  Header for timer abstraction layer
*
* Copyright (c) 2013 Amped'RF Inc., AR Technology  All rights reserved.
*******************************************************************************/
#ifndef _GKI_TIM_H_
#define _GKI_TIM_H_


#define TIM0    0


typedef u16 tGKI_tim;



// Prototypes
void GKI_tim_SetResolution(tGKI_tim  tim, u32 TicksPerSecond);
void GKI_tim_SetDownTimer(u32 MicroSec);
u32  GKI_tim_GetDownTimer(void);



#endif // _GKI_TIM_H_
