Searched refs:counter_base_frequency (Results 1 – 4 of 4) sorted by relevance
86 unsigned int counter_base_frequency; in plat_get_syscnt_freq2() local90 counter_base_frequency = FCONF_GET_PROPERTY(hw_config, cpu_timer, clock_freq); in plat_get_syscnt_freq2()91 if (counter_base_frequency > 0U) { in plat_get_syscnt_freq2()92 return counter_base_frequency; in plat_get_syscnt_freq2()97 counter_base_frequency = mmio_read_32(ARM_SYS_CNTCTL_BASE + CNTFID_OFF); in plat_get_syscnt_freq2()100 if (counter_base_frequency == 0U) { in plat_get_syscnt_freq2()104 return counter_base_frequency; in plat_get_syscnt_freq2()
178 unsigned int counter_base_frequency; in plat_get_syscnt_freq2() local181 counter_base_frequency = mmio_read_32(ARM_SYS_CNTCTL_BASE + CNTFID_OFF); in plat_get_syscnt_freq2()184 if (counter_base_frequency == 0U) in plat_get_syscnt_freq2()187 return counter_base_frequency; in plat_get_syscnt_freq2()
190 unsigned int counter_base_frequency; in plat_get_syscnt_freq2() local193 counter_base_frequency = mmio_read_32(SQ_SYS_CNTCTL_BASE + CNTFID_OFF); in plat_get_syscnt_freq2()196 if (counter_base_frequency == 0) in plat_get_syscnt_freq2()199 return counter_base_frequency; in plat_get_syscnt_freq2()
197 unsigned int counter_base_frequency; in plat_get_syscnt_freq2() local199 counter_base_frequency = COUNTER_FREQUENCY; in plat_get_syscnt_freq2()201 return counter_base_frequency; in plat_get_syscnt_freq2()