Searched refs:scaledTimeout (Results 1 – 1 of 1) sorted by relevance
35 uint64 scaledTimeout = (static_cast<__uint128_t>(timeout) * sTimerConversionFactor) >> 32; in arch_timer_set_hardware_timer() local41 MSyscall(kMSyscallSetTimer, true, gClintRegs->mtime + scaledTimeout); in arch_timer_set_hardware_timer()44 sbi_set_timer(CpuTime() + scaledTimeout); in arch_timer_set_hardware_timer()