13#ifndef __L4UTIL__UTIL_H__
14#define __L4UTIL__UTIL_H__
18#include <l4/sys/ipc.h>
102 (
void)(*(
volatile char *)b);
115 *(
volatile char *)b |= 0;
L4 compiler related defines.
unsigned long l4_addr_t
Address type.
unsigned int l4_uint32_t
Unsigned 32bit value.
unsigned long long l4_uint64_t
Unsigned 64bit value.
l4_msgtag_t l4_ipc_sleep(l4_timeout_t timeout) L4_NOTHROW
Sleep for an amount of time.
l4_addr_t l4_trunc_page(l4_addr_t address) L4_NOTHROW
Round an address down to the next lower page boundary.
#define L4_PAGESIZE
Minimal page size (in bytes).
#define L4_IPC_NEVER
never timeout
#define L4_CV
Define calling convention.
#define L4_NOTHROW
Mark a function declaration and definition as never throwing an exception.
#define L4_INLINE
L4 Inline function attribute.
#define EXTERN_C_BEGIN
Start section with C types and functions.
#define L4_NORETURN
Noreturn function attribute.
#define EXTERN_C_END
End section with C types and functions.
void l4_sleep_forever(void) L4_NOTHROW L4_NORETURN
Go sleep and never wake up.
void l4_touch_rw(const void *addr, unsigned size) L4_NOTHROW
Touch data areas to force mapping (read-write)
void l4_usleep(l4_uint64_t us) L4_NOTHROW
Suspend thread for a period of us microseconds.
void l4_sleep(l4_uint32_t ms) L4_NOTHROW
Suspend thread for a period of ms milliseconds.
void l4_touch_ro(const void *addr, unsigned size) L4_NOTHROW
Touch data area to force mapping (read-only)
l4_timeout_s l4util_micros2l4to(l4_uint64_t us) L4_NOTHROW
Calculate l4 timeouts.
Common L4 ABI Data Types.
Basic timeout specification.