Searched defs:normal_base (Results 1 – 4 of 4) sorted by relevance
16 void sched_clock_init(uint64_t normal_base, uint64_t atf_base) in sched_clock_init()
17 void sched_clock_init(uint64_t normal_base, uint64_t atf_base) in sched_clock_init()
23 void sched_clock_init(uint64_t normal_base, uint64_t atf_base) in sched_clock_init()
182 unsigned long long normal_base; in bl31_early_platform_setup2() local