#ifndef _HR_TIMER_H_
#define _HR_TIMER_H_
                                    
extern void         SetHiResTimer (void);
extern unsigned int GetMilliSec   (void);

#endif