Go to the source code of this file.
Functions | |
l4_cpu_time_t | l4util_thread_time (const l4_kernel_info_t *kinfo) |
Acquire accumulated runtime from the kernel info page for currently running thread. |
Definition in file ARCH-x86/thread_time.h.
l4_cpu_time_t l4util_thread_time | ( | const l4_kernel_info_t * | kinfo | ) | [inline] |
Acquire accumulated runtime from the kernel info page for currently running thread.
kinfo | pointer to mapped kernel info page |