Home
last modified time | relevance | path

Searched refs:normal_base (Results 1 – 2 of 2) sorted by relevance

/trusted-firmware-a-latest/plat/mediatek/drivers/timer/
Dmt_timer.c17 void sched_clock_init(uint64_t normal_base, uint64_t atf_base) in sched_clock_init() argument
19 normal_time_base += normal_base; in sched_clock_init()
Dmt_timer.h31 void sched_clock_init(uint64_t normal_base, uint64_t atf_base);