Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/nvme/target/rdma.c nvmet_rdma_delete_ctrl() -> __nvmet_rdma_queue_disconnect()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
PARAM_VALUE 0 queue->nvme_sq.ctrl 4096-ptr_max
CAPPED_DATA 0 queue->nvme_sq.ctrl 1
CAPPED_DATA 0 &queue->queue_list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &nvmet_rdma_queue_mutex
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 &subsys->lock
HALF_LOCKED2 global &nvmet_config_sem

drivers/nvme/target/rdma.c nvmet_rdma_destroy_port_queues() -> __nvmet_rdma_queue_disconnect()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
CAPPED_DATA 0 queue->port 1
CAPPED_DATA 0 &queue->queue_list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &nvmet_rdma_queue_mutex
HALF_LOCKED2 global &nvmet_config_sem

drivers/nvme/target/rdma.c nvmet_rdma_queue_disconnect() -> __nvmet_rdma_queue_disconnect()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
PARAM_VALUE 0 queue->queue_list.next 4096-ptr_max
PARAM_VALUE 0 queue->queue_list.next->prev 4096-ptr_max
PARAM_VALUE 0 queue->queue_list.prev->next 4096-ptr_max
BUF_SIZE 0 queue s32min-(-2),0-s32max
BUF_SIZE 0 queue s32min-(-2),0-s32max
CAPPED_DATA 0 &queue->queue_list 1
DATA_SOURCE 0 queue $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 queue unit_byte

drivers/nvme/target/rdma.c nvmet_rdma_remove_one() -> __nvmet_rdma_queue_disconnect()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
PARAM_VALUE 0 queue->dev 4096-ptr_max
PARAM_VALUE 0 queue->dev->device 4096-ptr_max
CAPPED_DATA 0 queue->dev->device 1
CAPPED_DATA 0 &queue->queue_list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &nvmet_rdma_queue_mutex
HALF_LOCKED2 &ib_device->unregistration_lock