HomeSort by: relevance | last modified time | path
    Searched refs:lapic_per_second (Results 1 - 6 of 6) sorted by relevancy

  /src/sys/arch/x86/include/
apicvar.h 58 extern uint32_t lapic_per_second;
  /src/sys/arch/x86/x86/
identcpu_subr.c 89 lapic_per_second = descs[1] * 1000;
167 if ((khz != 0) && (lapic_per_second == 0)) {
168 lapic_per_second = khz * 1000;
170 "lapic_per_second set to %" PRIu32 "\n",
171 lapic_per_second);
lapic.c 516 uint32_t lapic_per_second; variable in typeref:typename:uint32_t
611 * Not needed when lapic_per_second is read from CPUID.
619 lapic_timecounter.tc_frequency = lapic_per_second;
678 lapic_per_second = rounddown(tmp + 500, 1000);
679 } else if (lapic_per_second == 0) {
699 lapic_per_second = (tmp * TIMER_FREQ + seen / 2) / seen;
703 humanize_number(tbuf, sizeof(tbuf), lapic_per_second, "Hz", 1000);
706 if (lapic_per_second != 0) {
711 lapic_tval = (lapic_per_second * 2) / hz;
725 tmp = (1000000 * (uint64_t)1 << 32) / lapic_per_second;
    [all...]
hyperv.c 560 lapic_per_second = rdmsr(MSR_HV_APIC_FREQUENCY);
  /src/sys/dev/nvmm/x86/
nvmm_x86_svm.c 1010 cpudata->gprs[NVMM_X64_GPR_RBX] = lapic_per_second / 1000;
nvmm_x86_vmx.c 1461 cpudata->gprs[NVMM_X64_GPR_RBX] = lapic_per_second / 1000;

Completed in 17 milliseconds