00001 /* $Id: timer.h 31603 2008-05-12 06:54:17Z adam $ */ 00009 /* (c) 2003 Technische Universitaet Dresden 00010 * This file is part of DROPS, which is distributed under the terms of the 00011 * GNU General Public License 2. Please see the COPYING file for details. */ 00012 00013 #ifndef L4TIMER_TIMER_H 00014 #define L4TIMER_TIMER_H 00015 00016 #include <l4/sys/l4int.h> 00017 #include <l4/sys/compiler.h> 00018 00019 EXTERN_C_BEGIN 00020 00024 L4_CV void l4timer_init(void); 00025 00027 L4_CV int l4timer_sleep(l4_cpu_time_t wakeup); 00028 00029 EXTERN_C_END 00030 00031 #endif