Searched refs:read_cntfrq (Results 1 – 11 of 11) sorted by relevance
22 timer_ticks = ((uint64_t)read_cntfrq() * time_ms) / 1000; in generic_timer_start()57 timer_ticks = ((uint64_t)read_cntfrq() * time_ms) / 1000; in generic_timer_handler()
19 uint32_t cntfrq = read_cntfrq(); in tee_time_get_sys_time()
34 uint64_t freq = read_cntfrq(); in timer_ms_to_ticks()
271 cntfrq = read_cntfrq(); in primary_save_cntfrq()
14 return read_cntfrq(); in delay_cnt_freq()
39 return read_cntfrq(); in delay_cnt_freq()
49 static inline __noprof uint32_t read_cntfrq(void) in read_cntfrq() function
40 uint64_t rate = read_cntfrq(); in tee_time_get_sys_time()
132 elapsed = (now - start) * 1000000000 / read_cntfrq(); in ftrace_return()
100 sbuf->freq = read_cntfrq(); in gprof_start_pc_sampling()
435 static inline __noprof uint32_t read_cntfrq(void) in read_cntfrq() function