Searched defs:psched_get_time (Results 1 – 2 of 2) sorted by relevance
56 static inline psched_time_t psched_get_time(void) in psched_get_time() function
61 static inline psched_time_t psched_get_time(void) in psched_get_time() function