Home
last modified time | relevance | path

Searched refs:x86KStscMhz (Results 1 – 4 of 4) sorted by relevance

/seL4-master/include/arch/x86/arch/machine/
A Dtimer.h24 assert(x86KStscMhz > 0); in usToTicks()
25 return us * x86KStscMhz; in usToTicks()
30 return div64(UINT64_MAX, x86KStscMhz); in getMaxUsToTicks()
54 return div64(ticks, x86KStscMhz); in ticksToUs()
/seL4-master/src/arch/x86/kernel/
A Dapic.c56 x86KStscMhz = tsc_init(); in apic_init()
62 x86KSapicRatio = div64((uint64_t)x86KStscMhz * 1000llu, apic_khz); in apic_init()
63 …printf("Apic Khz %lu, TSC Mhz %lu, ratio %lu\n", (long) apic_khz, (long) x86KStscMhz, (long) x86KS… in apic_init()
/seL4-master/src/arch/x86/model/
A Dstatedata.c73 uint32_t x86KStscMhz; variable
/seL4-master/include/arch/x86/arch/model/
A Dstatedata.h92 extern uint32_t x86KStscMhz;

Completed in 5 milliseconds