Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/md/dm-vdo/indexer/funnel-requestqueue.c uds_make_request_queue() -> uds_request_queue_finish()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
PARAM_VALUE 0 queue->dormant.counter 0
PARAM_VALUE 0 queue->processor 1326357279887196160,4166717939673718784,7232707785644699648
PARAM_VALUE 0 queue->running 1
PARAM_VALUE 0 queue->wait_head.head.next 4096-ptr_max
PARAM_VALUE 0 queue->wait_head.head.next->next 4096-ptr_max
PARAM_VALUE 0 queue->wait_head.head.prev 4096-ptr_max
PARAM_VALUE 0 queue->wait_head.head.prev->next 4096-ptr_max
PARAM_VALUE 0 queue->wait_head.head.prev->prev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/funnel-requestqueue.c uds_make_request_queue() -> uds_request_queue_finish()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
PARAM_VALUE 0 queue->dormant.counter 0
PARAM_VALUE 0 queue->main_queue 4096-ptr_max
PARAM_VALUE 0 queue->main_queue->stub.next 0
PARAM_VALUE 0 queue->processor 1326357279887196160,4166717939673718784,7232707785644699648
PARAM_VALUE 0 queue->running 1
PARAM_VALUE 0 queue->wait_head.head.next 4096-ptr_max
PARAM_VALUE 0 queue->wait_head.head.next->next 4096-ptr_max
PARAM_VALUE 0 queue->wait_head.head.prev 4096-ptr_max
PARAM_VALUE 0 queue->wait_head.head.prev->next 4096-ptr_max
PARAM_VALUE 0 queue->wait_head.head.prev->prev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/funnel-requestqueue.c uds_make_request_queue() -> uds_request_queue_finish()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
PARAM_VALUE 0 queue->dormant.counter 0
PARAM_VALUE 0 queue->main_queue 4096-ptr_max
PARAM_VALUE 0 queue->main_queue->stub.next 0
PARAM_VALUE 0 queue->processor 1326357279887196160,4166717939673718784,7232707785644699648
PARAM_VALUE 0 queue->retry_queue 4096-ptr_max
PARAM_VALUE 0 queue->retry_queue->stub.next 0
PARAM_VALUE 0 queue->running 1
PARAM_VALUE 0 queue->wait_head.head.next 4096-ptr_max
PARAM_VALUE 0 queue->wait_head.head.next->next 4096-ptr_max
PARAM_VALUE 0 queue->wait_head.head.prev 4096-ptr_max
PARAM_VALUE 0 queue->wait_head.head.prev->next 4096-ptr_max
PARAM_VALUE 0 queue->wait_head.head.prev->prev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index.c uds_free_index() -> uds_request_queue_finish()

Type Parameter Key Value
PARAM_VALUE 0 queue->running 0-1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index.c uds_free_index() -> uds_request_queue_finish()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index-session.c uds_destroy_index_session() -> uds_request_queue_finish()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL