util.h

 
/*
 * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
 *               Alexander Warg <warg@os.inf.tu-dresden.de>,
 *               Frank Mehnert <fm3@os.inf.tu-dresden.de>
 *     economic rights: Technische Universität Dresden (Germany)
 * License: see LICENSE.spdx (in this directory or the directories above)
 */
#ifndef __L4UTIL__UTIL_H__
#define __L4UTIL__UTIL_H__
 
#include <l4/sys/types.h>
#include <l4/sys/compiler.h>
#include <l4/sys/ipc.h>
 
__BEGIN_DECLS
 
L4_CV l4_timeout_s l4util_micros2l4to(l4_uint64_t us) L4_NOTHROW;
 
L4_CV void l4_sleep(l4_uint32_t ms) L4_NOTHROW;
 
L4_CV void l4_usleep(l4_uint64_t us) L4_NOTHROW;
 
L4_INLINE void l4_sleep_forever(void) L4_NOTHROW L4_NORETURN;
 
L4_INLINE void
l4_touch_ro(const void *addr, unsigned size) L4_NOTHROW;
 
L4_INLINE void
l4_touch_rw(const void *addr, unsigned size) L4_NOTHROW;
 
 
 
/*
 * Implementations
 */
 
L4_INLINE void
l4_sleep_forever(void) L4_NOTHROW
{
  for (;;)
    l4_ipc_sleep(L4_IPC_NEVER);
}
l4_sleep_forever(void) L4_NOTHROW {…}
 
L4_INLINE void
l4_touch_ro(const void *addr, unsigned size) L4_NOTHROW
{
  l4_addr_t b, e;
 
  b = l4_trunc_page((l4_addr_t)addr);
  e = l4_trunc_page((l4_addr_t)addr + size - 1);
 
  for (; b <= e; b += L4_PAGESIZE)
    (void)(*(volatile char *)b);
}
l4_touch_ro(const void *addr, unsigned size) L4_NOTHROW {…}
 
 
L4_INLINE void
l4_touch_rw(const void *addr, unsigned size) L4_NOTHROW
{
  l4_addr_t b, e;
 
  b = l4_trunc_page((l4_addr_t)addr);
  e = l4_trunc_page((l4_addr_t)addr + size - 1);
 
  for (; b <= e; b += L4_PAGESIZE)
    *(volatile char *)b |= 0;
}
l4_touch_rw(const void *addr, unsigned size) L4_NOTHROW {…}
 
__END_DECLS
 
#endif /* __L4UTIL__UTIL_H__ */