Searched refs:tsc_freq (Results 1 - 5 of 5) sorted by relevance

/seL4-test-master/projects/sel4test/apps/sel4test-driver/src/plat/pc99/
H A Dplat.c19 env->init->tsc_freq = x86_get_tsc_freq_from_simple(&env->simple);
20 ZF_LOGF_IF(env->init->tsc_freq == 0, "Failed get TSC frequency");
/seL4-test-master/projects/sel4test/apps/sel4test-driver/include/
H A Dtest_init_data.h94 uint32_t tsc_freq; member in struct:__anon28
/seL4-test-master/projects/sel4test/apps/sel4test-tests/include/
H A Dtest_init_data.h94 uint32_t tsc_freq; member in struct:__anon29
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/
H A Dtimer.h41 int ltimer_pit_init_freq(ltimer_t *ltimer, ps_io_ops_t ops, uint64_t tsc_freq, ltimer_callback_fn_t callback,
/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dboot.c122 uint32_t tsc_freq; local
184 tsc_freq = tsc_init();
236 *(uint32_t *)(extra_bi_region.start + extra_bi_offset) = tsc_freq;

Completed in 36 milliseconds