Searched defs:arch_timer_get_system (Results 1 – 3 of 3) sorted by relevance
62 uint64_t arch_timer_get_system(struct timer *timer) in arch_timer_get_system() function
25 static inline uint64_t arch_timer_get_system(struct timer *timer) {return 0; } in arch_timer_get_system() function
176 uint64_t WEAK arch_timer_get_system(struct timer *timer) in arch_timer_get_system() function
