view osdep/timer.h @ 10607:a17ebe817e33

Fixed a long standing issue: if configured a not available (not existing, permission denied, ...) skin, the gui never ever started again. Now it reverts to 'default' if it can't open the selected skin, if 'default' fails too, the gui exits with error.

#ifndef __TIMER_H
#define __TIMER_H

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

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