Searched refs:atf_time_base (Results 1 – 1 of 1) sorted by relevance
15 uint64_t atf_time_base; variable20 atf_time_base = atf_base; in sched_clock_init()28 rel_base = read_cntpct_el0() - atf_time_base; in sched_clock()