timer.c

Genode FX is a composition of hardware and software components that enable the creation of fully fl

/*
 * \brief   DOpE dummy timer module
 * \date    2004-05-19
 * \author  Norman Feske <[e-mail]>
 */

/*
 * Copyright (C) 2004-2008 Norman Feske <[e-mail]>
 * Genode Labs, Feske & Helmuth Systementwicklung GbR
 *
 * This file is part of the DOpE-embedded package, which is distributed
 * under the terms of the GNU General Public License version 2.
 */

#include "dopestd.h"
#include "timer.h"

int init_timer(struct dope_services *d);


/***********************
 ** Service functions **
 ***********************/

/**
 * Return current system time counter in microseconds
 */
static u32 get_time(void)
{
	static u32 curr_time;
	curr_time += 1000;
//	printf("curr_time = %lu\n", curr_time);
	return curr_time;
}


/**
 * Return difference between two times
 */
static u32 get_diff(u32 time1,u32 time2)
{
	/* overflow check */
	if (time1>time2) {
		time1 -= time2;
		return (u32)0xffffffff - time1;
	}
	return time2-time1;
}


/**
 * Wait specified number of microseconds
 */
static void wait_usec(u32 num_usec) { }


/**************************************
 ** Service structure of this module **
 **************************************/

static struct timer_services services = {
	get_time,
	get_diff,
	wait_usec,
};


/************************
 ** Module entry point **
 ************************/

int init_timer(struct dope_services *d)
{
	d->register_module("Timer 1.0",&services);
	return 1;
}