Searched refs:counter_freq (Results 1 – 2 of 2) sorted by relevance
28 uint64_t counter_freq; in sbsa_wdog_start() local31 counter_freq = (uint64_t)plat_get_syscnt_freq2(); in sbsa_wdog_start()32 offset_reg_value = ms * counter_freq / 1000; in sbsa_wdog_start()
281 unsigned int counter_freq; in psci_cpu_suspend_finish() local304 counter_freq = plat_get_syscnt_freq2(); in psci_cpu_suspend_finish()305 write_cntfrq_el0(counter_freq); in psci_cpu_suspend_finish()