Searched refs:counter_base_frequency (Results 1 – 2 of 2) sorted by relevance
198 uint64_t counter_base_frequency; in plat_get_syscnt_freq() local201 counter_base_frequency = mmio_read_32(SYS_CNTCTL_BASE + CNTFID_OFF); in plat_get_syscnt_freq()204 if (counter_base_frequency == 0) in plat_get_syscnt_freq()207 return counter_base_frequency; in plat_get_syscnt_freq()
287 uint64_t counter_base_frequency; in plat_get_syscnt_freq() local290 counter_base_frequency = mmio_read_32(SYS_CNTCTL_BASE + CNTFID_OFF); in plat_get_syscnt_freq()293 if (counter_base_frequency == 0) in plat_get_syscnt_freq()296 return counter_base_frequency; in plat_get_syscnt_freq()