Searched refs:sTickRate (Results 1 – 1 of 1) sorted by relevance
15 static bigtime_t sTickRate; variable26 new_val_64 = (timeout * sTickRate) / 1000000; in arch_timer_set_hardware_timer()42 sTickRate = ka->arch_args.time_base_frequency; in arch_init_timer()