L4Re - L4 Runtime Environment
util.h File Reference

Utilities for x86. More...

#include <l4/sys/types.h>
#include <l4/sys/compiler.h>
#include <l4/sys/ipc.h>
+ Include dependency graph for util.h:

Go to the source code of this file.


l4_timeout_s l4util_micros2l4to (unsigned int mus) L4_NOTHROW
 Calculate l4 timeouts. More...
void l4_sleep (int ms) L4_NOTHROW
 Suspend thread for a period of ms milliseconds. More...
void l4_sleep_forever (void) L4_NOTHROW)
 Go sleep and never wake up.

Detailed Description

Utilities for x86.

Definition in file util.h.

Function Documentation

◆ l4_sleep()

void l4_sleep ( int  ms)

Suspend thread for a period of ms milliseconds.

msTime in milliseconds

◆ l4util_micros2l4to()

l4_timeout_s l4util_micros2l4to ( unsigned int  mus)

Calculate l4 timeouts.

mustime in microseconds. Special cases:
  • 0 - > timeout 0
  • ~0U -> timeout NEVER
the corresponding l4_timeout value