Searched refs:atf_base (Results 1 – 3 of 3) sorted by relevance
21 void sched_clock_init(uint64_t normal_base, uint64_t atf_base) in sched_clock_init() argument24 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_setup() local206 atf_base = read_cntpct_el0(); in bl31_early_platform_setup()207 sched_clock_init(normal_base, atf_base); in bl31_early_platform_setup()