pub fn record_queue_dequeue(queue: QueueId, sequence: u64)Expand description
Record the consumer dequeue matching one earlier record_queue_enqueue.
A dequeue with no recorded pending enqueue increments the unmatched count.
pub fn record_queue_dequeue(queue: QueueId, sequence: u64)Record the consumer dequeue matching one earlier record_queue_enqueue.
A dequeue with no recorded pending enqueue increments the unmatched count.