timer.h File Reference

Timer library interface. More...

Go to the source code of this file.

Functions
EXTERN_C_BEGIN L4_CV void	l4timer_init (void)
	Explicit initialize the timer library (connect to the TIMER server).
L4_CV int	l4timer_sleep (l4_cpu_time_t wakeup)
	Sleep until the absolute date specified by wakeup [CPU cycles].

---

Detailed Description

Timer library interface.

Date:

11/2003

Author:

Frank Mehnert <fm3@os.inf.tu-dresden.de>

---

Function Documentation

EXTERN_C_BEGIN L4_CV void l4timer_init

(

void

)

Explicit initialize the timer library (connect to the TIMER server).

If not called explicitly, initialization is done implicitly the first time a server function is called

Referenced by main().