#include <l4/sys/compiler.h>
#include "os_linux.h"
Go to the source code of this file.
Functions | |
| EXTERN_C_BEGIN cputime_t | os_get_time_stamp (void) |
| return time in os-specific time format | |
| char * | os_thread2a (thread_t tid) |
| Return a thread-id in human-readable form. | |
| char * | os_prio2a (int prio) |
| Return priority in human-readable form. | |
| int | os_thread_create (void(*entry)(void *), void *arg) |
| Generate a new thread. | |
| void | os_usleep (unsigned long usec) |
| sleep for a couple of microseconds | |
| void | os_msleep (unsigned long msec) |
| sleep for a couple of milliseconds | |
| int | os_zap_thread (thread_t tid) |
| Zap a thread. | |
| char* os_prio2a | ( | int | prio | ) |
Return priority in human-readable form.
Parallel invocations result in garbaged text.
Return priority in human-readable form.
Parallel invocations result in garbaged text.
| char* os_thread2a | ( | thread_t | tid | ) |
Return a thread-id in human-readable form.
Parallel invocations result in garbaged text.
| int os_zap_thread | ( | thread_t | tid | ) |
1.5.6