Searched refs:atf_time_base (Results 1 – 1 of 1) sorted by relevance
21 uint64_t atf_time_base; variable26 atf_time_base = atf_base; in sched_clock_init()33 cval = (((read_cntpct_el0() - atf_time_base)*1000)/ in sched_clock()