headers/private/kernel/arch/x86/arch_cpu.h

668

void __x86_setup_system_time(uint64 conversionFactor,

headers/private/kernel/arch/x86/arch_cpu.h

671

void __x86_setup_system_time(uint32 conversionFactor,

src/system/kernel/arch/x86/arch_cpu.cpp

1726

__x86_setup_system_time((uint64)conversionFactor << 32,

src/system/kernel/arch/x86/arch_cpu.cpp

1731

__x86_setup_system_time(conversionFactor, conversionFactorNsecs >> 16,

src/system/kernel/arch/x86/arch_cpu.cpp

1735

__x86_setup_system_time(conversionFactor, conversionFactorNsecs, false);

src/system/libroot/os/arch/x86/time.cpp

31

__x86_setup_system_time(conversionFactor, conversionFactorNsecs >> 16,

src/system/libroot/os/arch/x86/time.cpp

35

__x86_setup_system_time(conversionFactor, conversionFactorNsecs, false);

src/system/libroot/os/arch/x86_64/time.cpp

33

__x86_setup_system_time((uint64)conversionFactor << 32,