L4Re - L4 Runtime Environment
util.h File Reference

Utilities, amd64 version. 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, amd64 version.

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
examples/libs/libirq/async_isr.c, examples/sys/aliens/main.c, examples/sys/singlestep/main.c, and examples/sys/start-with-exc/main.c.

Referenced by L4Re::Namespace::query().

+ Here is the caller graph for this function:

◆ 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