---

thread_time.h

/* (c) 2005 Technische Universitaet Dresden
 * This file is part of DROPS, which is distributed under the terms of the
 * GNU General Public License 2. Please see the COPYING file for details. */


#ifndef __L4UTIL__INCLUDE__ARCH_X86__THREAD_TIME_H__
#define __L4UTIL__INCLUDE__ARCH_X86__THREAD_TIME_H__

#include <l4/sys/compiler.h>
#include <l4/sys/kernel.h>
#include <l4/sys/types.h>

#include <l4/util/rdtsc.h>

EXTERN_C_BEGIN

L4_INLINE l4_cpu_time_t l4util_thread_time(const l4_kernel_info_t * kinfo);
L4_INLINE l4_cpu_time_t l4util_thread_time(const l4_kernel_info_t * kinfo)
{
    l4_cpu_time_t switch_time, thread_time, now;

    do
      {
        now          = l4_rdtsc();
        /* fixme: make 64 bit reads atomic ??? */
        thread_time  = kinfo->thread_time;
        switch_time  = kinfo->switch_time;
      }
    while (now < switch_time);

    return now - switch_time + thread_time;
}

EXTERN_C_END


#endif /* ! __L4UTIL__INCLUDE__ARCH_X86__THREAD_TIME_H__ */

---