JTop - Top for DROPS: os.h Source File

00001 
00009 /* (c) 2004 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 __JTOP_SERVER_INCLUDE_OS_H_
00014 #define __JTOP_SERVER_INCLUDE_OS_H_
00015 
00016 #include <l4/sys/compiler.h>
00017 EXTERN_C_BEGIN
00018 
00019 #ifdef JTOP_L4
00020 
00021 /* L4 version */
00022 #include "os_l4.h"
00023 
00024 #else
00025 
00026 /* Linux version */
00027 #include "os_linux.h"
00028 
00029 #endif
00030 
00032 extern cputime_t os_get_time_stamp(void);
00033 
00034 extern char*os_thread2a(thread_t tid);
00035 extern char*os_prio2a(int prio);
00036 int os_thread_create(void (*entry)(void *),void *arg);
00037 void os_usleep(unsigned long usec);
00038 void os_msleep(unsigned long msec);
00039 int os_zap_thread(thread_t tid);
00040 
00041 EXTERN_C_END
00042 #endif