Searched refs:arch_timer_get_system (Results 1 – 10 of 10) sorted by relevance
42 return arch_timer_get_system(timer); in platform_timer_get()47 return arch_timer_get_system(timer); in platform_timer_get_atomic()
38 return arch_timer_get_system(timer); in platform_timer_get()44 return arch_timer_get_system(timer); in platform_timer_get_atomic()
39 return arch_timer_get_system(timer); in platform_timer_get()45 return arch_timer_get_system(timer); in platform_timer_get_atomic()
25 static inline uint64_t arch_timer_get_system(struct timer *timer) {return 0; } in arch_timer_get_system() function
67 uint64_t arch_timer_get_system(struct timer *timer);
58 return arch_timer_get_system(timer); in timer_get_system()
72 (uint32_t) arch_timer_get_system(cpu_timer_get());\
62 uint64_t arch_timer_get_system(struct timer *timer) in arch_timer_get_system() function
151 uint64_t WEAK arch_timer_get_system(struct timer *timer) in arch_timer_get_system() function
380 uint64_t arch_timer_get_system(struct timer *timer) in arch_timer_get_system() function
