#include <sys/types.h>
#include <l4/util/l4_macros.h>
#include <stdio.h>
#include "os.h"
Functions | |
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 | |
cputime_t | os_get_time_stamp (void) |
return time in os-specific time format | |
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.
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 | ) |