Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/nvme/host/rdma.c nvme_rdma_teardown_admin_queue() -> nvme_rdma_destroy_admin_queue()

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
PARAM_VALUE 0 ctrl->ctrl.admin_q 4096-ptr_max
PARAM_VALUE 0 ctrl->ctrl.admin_q->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ctrl->ctrl.admin_q->tag_set->srcu->srcu_sup 4096-ptr_max
PARAM_VALUE 0 ctrl->ctrl.admin_q->tag_set->srcu->srcu_sup->lock.dep_map->name 0-255
PARAM_VALUE 0 ctrl->ctrl.admin_q->tag_set->srcu->srcu_sup->lock.owner 0,(-1)
PARAM_VALUE 0 ctrl->ctrl.admin_q->tag_set->srcu->srcu_sup->lock.owner_cpu 0,u32max
PARAM_VALUE 0 ctrl->ctrl.admin_q->tag_set->srcu->srcu_sup->sda_is_static 1
PARAM_VALUE 0 ctrl->ctrl.admin_q->tag_set->srcu->srcu_sup->srcu_barrier_mutex.dep_map->name 0-255
PARAM_VALUE 0 ctrl->ctrl.admin_q->tag_set->srcu->srcu_sup->srcu_barrier_mutex.magic 4096-ptr_max
PARAM_VALUE 0 ctrl->ctrl.admin_q->tag_set->srcu->srcu_sup->srcu_cb_mutex.dep_map->name 0-255
PARAM_VALUE 0 ctrl->ctrl.admin_q->tag_set->srcu->srcu_sup->srcu_cb_mutex.magic 4096-ptr_max
PARAM_VALUE 0 ctrl->ctrl.admin_q->tag_set->srcu->srcu_sup->srcu_gp_mutex.dep_map->name 0-255
PARAM_VALUE 0 ctrl->ctrl.admin_q->tag_set->srcu->srcu_sup->srcu_gp_mutex.magic 4096-ptr_max
PARAM_VALUE 0 ctrl->ctrl.admin_q->tag_set->srcu->srcu_sup->srcu_gp_seq 18446744073709551216
PARAM_VALUE 0 ctrl->ctrl.admin_q->tag_set->srcu->srcu_sup->srcu_gp_seq_needed 0,4-u64max
PARAM_VALUE 0 ctrl->ctrl.admin_q->tag_set->srcu->srcu_sup->srcu_gp_seq_needed_exp 18446744073709551216
PARAM_VALUE 0 ctrl->ctrl.admin_q->tag_set->srcu->srcu_sup->srcu_size_state 0-1,8
PARAM_VALUE 0 ctrl->ctrl.admin_q->tag_set->srcu->srcu_sup->srcu_ssp 4096-ptr_max
PARAM_VALUE 0 ctrl->ctrl.admin_q->tag_set->srcu->srcu_sup->srcu_ssp->sda 1-u64max
PARAM_VALUE 0 ctrl->ctrl.admin_q->tag_set->srcu->srcu_sup->srcu_ssp->srcu_sup 4096-ptr_max
PARAM_VALUE 0 ctrl->ctrl.admin_q->tag_set->srcu->srcu_sup->work.work.entry.next 4096-ptr_max
PARAM_VALUE 0 ctrl->ctrl.admin_q->tag_set->srcu->srcu_sup->work.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 ctrl->ctrl.admin_q->tag_set->srcu->srcu_sup->work.work.entry.prev 2076614606316732416
PARAM_VALUE 0 ctrl->ctrl.admin_q->tag_set->srcu->srcu_sup->work.work.entry.prev->prev 2076614606316732416
PARAM_VALUE 0 ctrl->ctrl.admin_q->timeout.entry.pprev 0
PARAM_VALUE 0 ctrl->ctrl.admin_q->timeout.flags 0-4194302
PARAM_VALUE 0 ctrl->ctrl.admin_q->timeout_work.lockdep_map->name 0-255
PARAM_VALUE 0 ctrl->ctrl.admin_tagset 0,4096-ptr_max
PARAM_VALUE 0 ctrl->ctrl.admin_tagset->tags_srcu.dep_map->name 0-255
PARAM_VALUE 0 ctrl->ctrl.connect_q->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ctrl->ctrl.device->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 ctrl->ctrl.fabrics_q->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ctrl->ctrl.ops->delete_ctrl 0,1920686349575958528,5899820809454854144,7007803071014739968,7097214099129487360
PARAM_VALUE 0 ctrl->ctrl.ops->dev_attr_groups 0,5168144528530202624
PARAM_VALUE 0 ctrl->ctrl.ops->flags 0-3,5
PARAM_VALUE 0 ctrl->ctrl.ops->free_ctrl 517665950177808384,1126249724203192320,3284914892918046720,3804682492947304448,3909974550714929152,4580989929805783040
PARAM_VALUE 0 ctrl->ctrl.ops->get_address 2502642403419095040,5987342577172975616,6754448645885935616,8239601546056785920
PARAM_VALUE 0 ctrl->ctrl.ops->get_virt_boundary 37735941093339136,96801892838526976,2981799758062063616,5899034719608918016,6587715906375786496,7771460932748754944
PARAM_VALUE 0 ctrl->ctrl.ops->module 0
PARAM_VALUE 0 ctrl->ctrl.ops->name 303003381828526080,1134212543016304640,2128689074804338688,6773402122967007232,8343925093408751616,8570699870683336704
PARAM_VALUE 0 ctrl->ctrl.ops->print_device_info 0,7842841690525282304
PARAM_VALUE 0 ctrl->ctrl.ops->reg_read32 43452004001030144,5578377092941922304,7799053347571187712
PARAM_VALUE 0 ctrl->ctrl.ops->reg_read64 254817723653337088,259510936269361152,7214456386873425920
PARAM_VALUE 0 ctrl->ctrl.ops->reg_write32 4096-ptr_max
PARAM_VALUE 0 ctrl->ctrl.ops->stop_ctrl 0,4096-ptr_max
PARAM_VALUE 0 ctrl->ctrl.ops->submit_async_event 0,2902648389930782720,3338455441981890560,7054102392111636480,7867854895656026112,8935516955552481280
PARAM_VALUE 0 ctrl->ctrl.ops->subsystem_reset 0,7560321172059889664,8981646978549547008
PARAM_VALUE 0 ctrl->ctrl.ops->supports_pci_p2pdma 0,304869802595840000,8862586920643358720
PARAM_VALUE 0 ctrl->ctrl.tagset->update_nr_hwq_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ctrl->ctrl.tagset->update_nr_hwq_lock.first_waiter->type 0-1
PARAM_VALUE 0 ctrl->queues 4096-ptr_max
BUF_SIZE 0 ctrl (-1),7296
BUF_SIZE 0 ctrl (-1),7296
DATA_SOURCE 0 ctrl $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ctrl->ctrl.cdev.count
NO_OVERFLOW_SIMPLE 0 ctrl->ctrl.connect_q->async_depth
NO_OVERFLOW_SIMPLE 0 ctrl->ctrl.connect_q->nr_requests
NO_OVERFLOW_SIMPLE 0 ctrl->ctrl.connect_q->tag_set->nr_hw_queues
NO_OVERFLOW_SIMPLE 0 ctrl->ctrl.connect_q->tag_set->queue_depth
NO_OVERFLOW_SIMPLE 0 ctrl->ctrl.ctrl_key->len
NO_OVERFLOW_SIMPLE 0 ctrl->ctrl.host_key->len
NO_OVERFLOW_SIMPLE 0 ctrl->ctrl.queue_count
NO_OVERFLOW_SIMPLE 0 ctrl->ctrl.tagset->queue_depth