thread_time.h File Reference

Functions to acquire thread time fast (without kernel entry). More...

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.

---

Detailed Description

Functions to acquire thread time fast (without kernel entry).

Date:

Martin Pohlack <mp26@os.inf.tu-dresden.de>

Definition in file ARCH-x86/thread_time.h.

---

Function Documentation

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.

Parameters:

kinfo

pointer to mapped kernel info page

Returns:

Accumulated thread time (cycles)