Searched refs:normal_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() argument23 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_setup() local202 normal_base = 0; in bl31_early_platform_setup()207 sched_clock_init(normal_base, atf_base); in bl31_early_platform_setup()