Searched refs:more_queue_space_receiver (Results 1 – 2 of 2) sorted by relevance
508 let more_queue_space_receiver = { in schedule_pending_queue() localVariable543 let _ = more_queue_space_receiver.await; in schedule_pending_queue()
347 let more_queue_space_receiver = { in schedule_pending_queue() localVariable394 let _ = more_queue_space_receiver.await; in schedule_pending_queue()