Searched refs:atf_base (Results 1 – 5 of 5) sorted by relevance
16 void sched_clock_init(uint64_t normal_base, uint64_t atf_base) in sched_clock_init() argument19 atf_time_base = atf_base; in sched_clock_init()
31 void sched_clock_init(uint64_t normal_base, uint64_t atf_base);
23 void sched_clock_init(uint64_t normal_base, uint64_t atf_base) in sched_clock_init() argument26 atf_time_base = atf_base; in sched_clock_init()
25 void sched_clock_init(uint64_t normal_base, uint64_t atf_base);
183 unsigned long long atf_base; in bl31_early_platform_setup2() local204 atf_base = read_cntpct_el0(); in bl31_early_platform_setup2()205 sched_clock_init(normal_base, atf_base); in bl31_early_platform_setup2()
Completed in 4 milliseconds