Searched refs:normal_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() argument18 normal_time_base += normal_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() argument25 normal_time_base = normal_base; in sched_clock_init()
25 void sched_clock_init(uint64_t normal_base, uint64_t atf_base);
182 unsigned long long normal_base; in bl31_early_platform_setup2() local200 normal_base = 0; in bl31_early_platform_setup2()205 sched_clock_init(normal_base, atf_base); in bl31_early_platform_setup2()
Completed in 6 milliseconds