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

/haiku/src/system/boot/platform/efi/arch/riscv64/
H A Darch_dtb.cpp23 static uint64 sTimerFrequency = 10000000; variable
41 sTimerFrequency = fdt32_to_cpu(*prop);
110 dprintf("timerFrequency: %" B_PRIu64 "\n", sTimerFrequency);
111 gKernelArgs.arch_args.timerFrequency = sTimerFrequency;

Completed in 30 milliseconds