Searched refs:system_clock_freq (Results 1 – 8 of 8) sorted by relevance
138 obp_time += ((stick - obp_stick) / system_clock_freq); in _init()257 system_clock_freq); in todopl_set()
49 extern uint64_t system_clock_freq;
111 uint64_t system_clock_freq; variable213 system_clock_freq = stick_freq; in map_wellknown_devices()
651 if (system_clock_freq == 0)654 sys_tick_freq = system_clock_freq;
654 if (system_clock_freq == 0) in cpu_init_tick_freq()656 system_clock_freq); in cpu_init_tick_freq()657 sys_tick_freq = system_clock_freq; in cpu_init_tick_freq()
592 if (system_clock_freq == 0) in cpu_init_tick_freq()595 sys_tick_freq = system_clock_freq; in cpu_init_tick_freq()
3147 limit += cpu_xcall_delay * system_clock_freq; in drmach_copy_rename_prog__relocatable()3673 prog->critical->delay = fmem_timeout * system_clock_freq; in drmach_copy_rename_init()3768 prog->data->stick_freq = system_clock_freq; in drmach_copy_rename_init()3770 system_clock_freq; in drmach_copy_rename_init()
81 uint64_t system_clock_freq; variable