19#include <l4/sys/ipc.h>
60l4_touch_ro(
const void*addr,
unsigned size)
L4_NOTHROW
62 const char *bptr, *eptr;
67 asm volatile(
"or %0,%%rax \n"
69 :
"m" (*(
const unsigned*)bptr)
77l4_touch_rw(
const void*addr,
unsigned size)
L4_NOTHROW
79 const char *bptr, *eptr;
84 asm volatile(
"orb $0,%0 \n"
86 :
"m" (*(
const unsigned*)bptr)
void l4_sleep(int ms) L4_NOTHROW
Suspend thread for a period of ms milliseconds.
l4_timeout_s l4util_micros2l4to(unsigned int mus) L4_NOTHROW
Calculate l4 timeouts.
L4 compiler related defines.
unsigned long l4_addr_t
Address type.
l4_msgtag_t l4_ipc_sleep(l4_timeout_t timeout) L4_NOTHROW
Sleep for an amount of time.
#define L4_PAGESIZE
Minimal page size (in bytes).
#define L4_PAGEMASK
Mask for the page number.
#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 EXTERN_C_END
End section with C types and functions.
void l4_sleep_forever(void) L4_NOTHROW)
Go sleep and never wake up.
Common L4 ABI Data Types.
Basic timeout specification.