view osdep/timer.h @ 17645:8db0816a9226

upport another G4 flavour: MPC7447* chips. (MPC7448, MPC7445 and MPC7457 are still not supported currently, but it remains to be seen if they have been used in any real computer.)

#ifndef __TIMER_H
#define __TIMER_H

extern const char *timer_name;

void InitTimer(void);
unsigned int GetTimer(void);
unsigned int GetTimerMS(void);
//int uGetTimer();
float GetRelativeTime(void);

int usec_sleep(int usec_delay);

/* timer's callback handling */
typedef void timer_callback( void );
extern unsigned set_timer_callback(unsigned ms,timer_callback func);
extern void restore_timer(void);

#endif