Searched defs:l4_kernel_clock_t (Results 1 – 2 of 2) sorted by relevance

/l4re-core-master/l4sys/include/
A D	l4int.h	64 typedef l4_uint64_t l4_kernel_clock_t; typedef
/l4re-core-master/moe/server/src/
A D	sched_proxy.cc	156 Sched_proxy::idle_time(l4_sched_cpu_set_t const &, l4_kernel_clock_t &) in idle_time() argument

Completed in 3 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023