psched_time_t      51 include/net/pkt_sched.h static inline psched_time_t psched_get_time(void)
psched_time_t      57 include/net/pkt_sched.h psched_tdiff_bounded(psched_time_t tv1, psched_time_t tv2, psched_time_t bound)
psched_time_t      71 include/net/pkt_sched.h 					   psched_time_t expires)