TO_REQUEST_QUEUE
__acquires(&TO_REQUEST_QUEUE(m)->requeue_lock)
__releases(&TO_REQUEST_QUEUE(m)->requeue_lock)