[email protected]
#include "SDL_config.h"
#if defined(SDL_TIMER_SDI)
#include "SDL_timer.h"
#include "../SDL_timer_c.h"
#include <l4/schedule.h>
#include <l4/ipc.h>
static L4_Clock_t start;
void SDL_StartTicks()
{
	start = L4_SystemClock();
}
Uint32 SDL_GetTicks()
{
	L4_Clock_t now = L4_SystemClock();
	Uint32 result = (Uint32) ((now.raw - start.raw) / 1000);
	
	return result;
}
void SDL_Delay (Uint32 ms)
{
	L4_Word64_t usecs = ((L4_Word64_t) ms) * 1000;
	if (usecs == 0) usecs = 1;
	L4_Sleep(L4_TimePeriod(usecs));
}
#include "SDL_thread.h"
static int timer_alive = 0;
static SDL_Thread *timer = NULL;
static int RunTimer(void *unused)
{
	while ( timer_alive ) {
		if ( SDL_timer_running ) {
			SDL_ThreadedTimerCheck();
		}
		SDL_Delay(1);
	}
	return(0);
}
int SDL_SYS_TimerInit(void)
{
	timer_alive = 1;
	timer = SDL_CreateThread(RunTimer, NULL);
	if ( timer == NULL )
		return(-1);
	return(SDL_SetTimerThreaded(1));
}
void SDL_SYS_TimerQuit(void)
{
	timer_alive = 0;
	if ( timer ) {
		SDL_WaitThread(timer, NULL);
		timer = NULL;
	}
}
int SDL_SYS_StartTimer(void)
{
	SDL_SetError("Internal logic error: threaded timer in use");
	return(-1);
}
void SDL_SYS_StopTimer(void)
{
	return;
}
#endif