Searched refs:last_queued (Results 1 – 2 of 2) sorted by relevance
406 if sched_info.last_queued == 0 { in enqueue_task()407 sched_info.upgrade().last_queued = self.clock; in enqueue_task()431 if sched_info.last_queued > 0 { in dequeue_task()432 let delta = self.clock - sched_info.last_queued; in dequeue_task()435 sched_info.last_queued = 0; in dequeue_task()
1179 pub last_queued: u64, field