Home
last modified time | relevance | path

Searched defs:kip (Results 1 – 9 of 9) sorted by relevance

/l4re-core-master/l4sys/include/
A Dkip.h179 l4_kip_version(l4_kernel_info_t *kip) L4_NOTHROW in l4_kip_version()
187 l4_kernel_info_version_offset(l4_kernel_info_t *kip) L4_NOTHROW in l4_kernel_info_version_offset()
191 l4_kip_clock(l4_kernel_info_t *kip) L4_NOTHROW in l4_kip_clock()
201 l4_kip_clock_ns(l4_kernel_info_t *kip) L4_NOTHROW in l4_kip_clock_ns()
210 l4_kip_clock_lw(l4_kernel_info_t *kip) L4_NOTHROW in l4_kip_clock_lw()
A Dmemdesc.h180 l4_kernel_info_get_mem_descs(l4_kernel_info_t *kip) L4_NOTHROW in l4_kernel_info_get_mem_descs()
188 l4_kernel_info_get_num_mem_descs(l4_kernel_info_t *kip) L4_NOTHROW in l4_kernel_info_get_num_mem_descs()
A Dvhw.h85 l4_vhw_get(l4_kernel_info_t *kip) L4_NOTHROW in l4_vhw_get()
/l4re-core-master/moe/server/src/
A Dglobals.h21 inline l4_kernel_info_t const *kip() { return _current_kip; } in kip() function
/l4re-core-master/l4util/lib/src/ARCH-ppc32/
A Drdtsc.c15 l4_tsc_init (int constraint, l4_kernel_info_t *kip) in l4_tsc_init()
/l4re-core-master/l4util/include/ARCH-ppc32/
A Drdtsc.h114 l4_calibrate_tsc (l4_kernel_info_t *kip) in l4_calibrate_tsc()
/l4re-core-master/l4util/lib/src/ARCH-x86/
A Drdtsc.c41 l4_tsc_init (int constraint, l4_kernel_info_t *kip) in l4_tsc_init()
/l4re-core-master/l4util/include/ARCH-x86/
A Drdtsc.h183 l4_calibrate_tsc (l4_kernel_info_t *kip) in l4_calibrate_tsc()
/l4re-core-master/l4util/include/ARCH-amd64/
A Drdtsc.h181 l4_calibrate_tsc (l4_kernel_info_t *kip) in l4_calibrate_tsc()

Completed in 12 milliseconds