Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/nvme/host/rdma.c nvme_rdma_alloc_io_queues() -> nvme_rdma_alloc_queue()

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
PARAM_VALUE 0 ctrl->ctrl.admin_q->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ctrl->ctrl.device 0,4096-ptr_max
PARAM_VALUE 0 ctrl->ctrl.device->bus 0,4096-ptr_max
PARAM_VALUE 0 ctrl->ctrl.device->class 0,4096-ptr_max
PARAM_VALUE 0 ctrl->ctrl.device->driver 0,4096-ptr_max
PARAM_VALUE 0 ctrl->ctrl.device->iommu_group->owner_cnt 0-4294967295
PARAM_VALUE 0 ctrl->ctrl.device->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 ctrl->ctrl.device->parent->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 ctrl->ctrl.device->parent->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 ctrl->ctrl.device->parent->kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 ctrl->ctrl.dhchap_ctxs->authenticated 0-1
PARAM_VALUE 0 ctrl->ctrl.dhchap_ctxs->bi_directional 0-1
PARAM_VALUE 0 ctrl->ctrl.dhchap_ctxs->buf 0-s64max
PARAM_VALUE 0 ctrl->ctrl.dhchap_ctxs->ctrl 0-s64max
PARAM_VALUE 0 ctrl->ctrl.dhchap_ctxs->ctrl_key_len s32min-s32max
PARAM_VALUE 0 ctrl->ctrl.dhchap_ctxs->dh_tfm (-10)-s64max
PARAM_VALUE 0 ctrl->ctrl.dhchap_ctxs->dhgroup_id 0-255
PARAM_VALUE 0 ctrl->ctrl.dhchap_ctxs->error s32min-s32max
PARAM_VALUE 0 ctrl->ctrl.dhchap_ctxs->hash_id 0-255
PARAM_VALUE 0 ctrl->ctrl.dhchap_ctxs->hash_len 0-s64max
PARAM_VALUE 0 ctrl->ctrl.dhchap_ctxs->host_key_len s32min-s32max
PARAM_VALUE 0 ctrl->ctrl.dhchap_ctxs->qid s32min-s32max
PARAM_VALUE 0 ctrl->ctrl.dhchap_ctxs->s1 0-4294967295
PARAM_VALUE 0 ctrl->ctrl.dhchap_ctxs->s2 0-4294967295
PARAM_VALUE 0 ctrl->ctrl.dhchap_ctxs->sc_c 0-255
PARAM_VALUE 0 ctrl->ctrl.dhchap_ctxs->sess_key_len s32min-s32max
PARAM_VALUE 0 ctrl->ctrl.dhchap_ctxs->status 0-255
PARAM_VALUE 0 ctrl->ctrl.dhchap_ctxs->transaction 0-u16max
PARAM_VALUE 0 ctrl->ctrl.dhchap_ctxs->transformed_key 0-s64max
PARAM_VALUE 0 ctrl->ctrl.fabrics_q->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ctrl->ctrl.icdoff 0
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.opts 4096-ptr_max
PARAM_VALUE 0 ctrl->ctrl.queue_count 2
PARAM_VALUE 0 ctrl->ctrl.sgls 4-u32max
PARAM_VALUE 1 idx 1
PARAM_VALUE 2 queue_size 1-65536
CAPPED_DATA 0 ctrl->ctrl.maxcmd 1
CAPPED_DATA 0 ctrl->ctrl.opts->queue_size 1
DATA_SOURCE 0 ctrl $0
PARAM_COMPARE 0 ctrl->ctrl.queue_count > $1
PARAM_COMPARE 1 idx < $0->ctrl.queue_count
CONSTRAINT 1 idx <3732
BIT_INFO 0 ctrl->ctrl.sgls 0x4,0xffffffff
NO_OVERFLOW_SIMPLE 0 ctrl->ctrl.cdev.count
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 1 idx
HALF_LOCKED2 global &nvmf_dev_mutex

drivers/nvme/host/rdma.c nvme_rdma_configure_admin_queue() -> nvme_rdma_alloc_queue()

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
PARAM_VALUE 0 ctrl->ctrl.device->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 ctrl->ctrl.dhchap_ctxs->authenticated 0-1
PARAM_VALUE 0 ctrl->ctrl.dhchap_ctxs->bi_directional 0-1
PARAM_VALUE 0 ctrl->ctrl.dhchap_ctxs->buf 0-s64max
PARAM_VALUE 0 ctrl->ctrl.dhchap_ctxs->ctrl 0-s64max
PARAM_VALUE 0 ctrl->ctrl.dhchap_ctxs->ctrl_key_len s32min-s32max
PARAM_VALUE 0 ctrl->ctrl.dhchap_ctxs->dh_tfm (-10)-s64max
PARAM_VALUE 0 ctrl->ctrl.dhchap_ctxs->dhgroup_id 0-255
PARAM_VALUE 0 ctrl->ctrl.dhchap_ctxs->error s32min-s32max
PARAM_VALUE 0 ctrl->ctrl.dhchap_ctxs->hash_id 0-255
PARAM_VALUE 0 ctrl->ctrl.dhchap_ctxs->hash_len 0-s64max
PARAM_VALUE 0 ctrl->ctrl.dhchap_ctxs->host_key_len s32min-s32max
PARAM_VALUE 0 ctrl->ctrl.dhchap_ctxs->qid s32min-s32max
PARAM_VALUE 0 ctrl->ctrl.dhchap_ctxs->s1 0-4294967295
PARAM_VALUE 0 ctrl->ctrl.dhchap_ctxs->s2 0-4294967295
PARAM_VALUE 0 ctrl->ctrl.dhchap_ctxs->sc_c 0-255
PARAM_VALUE 0 ctrl->ctrl.dhchap_ctxs->sess_key_len s32min-s32max
PARAM_VALUE 0 ctrl->ctrl.dhchap_ctxs->status 0-255
PARAM_VALUE 0 ctrl->ctrl.dhchap_ctxs->transaction 0-u16max
PARAM_VALUE 0 ctrl->ctrl.dhchap_ctxs->transformed_key 0-s64max
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 1 idx 0
PARAM_VALUE 2 queue_size 32
BUF_SIZE 0 ctrl (-1),7296
BUF_SIZE 0 ctrl (-1),7296
DATA_SOURCE 0 ctrl $0
NO_OVERFLOW_SIMPLE 0 ctrl->ctrl.cdev.count
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
HALF_LOCKED2 global &nvmf_dev_mutex