Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
drivers/scsi/bnx2fc/bnx2fc_fcoe.c bnx2fc_interface_create() -> fcoe_ctlr_device_delete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctlr | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.devres_head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.devres_head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.dma_io_tlb_mem->dyn_alloc.data.counter | 9007199250546704 |
| PARAM_VALUE | 0 | ctlr->dev.dma_io_tlb_mem->dyn_alloc.entry.prev | 1473117533515866344 |
| PARAM_VALUE | 0 | ctlr->dev.dma_io_tlb_mem->dyn_alloc.func | 1583282886040592384 |
| PARAM_VALUE | 0 | ctlr->dev.dma_io_tlb_mem->pools.prev | 1473117533515866320 |
| PARAM_VALUE | 0 | ctlr->dev.dma_io_tlb_pools.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.dma_io_tlb_pools.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.dma_io_tlb_pools.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.dma_pools.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.dma_pools.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.dma_pools.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.flags | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.fwnode->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.fwnode->dev->fwnode | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.fwnode->dev->p | 1-u64max |
| PARAM_VALUE | 0 | ctlr->dev.fwnode->dev->power.set_latency_tolerance | 5740181548905971712 |
| PARAM_VALUE | 0 | ctlr->dev.fwnode->suppliers.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.kobj.release->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.kobj.release.timer.is_hard | 0-1 |
| PARAM_VALUE | 0 | ctlr->dev.kobj.release.timer.is_lazy | 0-1 |
| PARAM_VALUE | 0 | ctlr->dev.kobj.release.timer.is_queued | 0-1 |
| PARAM_VALUE | 0 | ctlr->dev.kobj.release.timer.is_soft | 0-1 |
| PARAM_VALUE | 0 | ctlr->dev.kobj.release.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.kobj.sd->active.counter | (-2147483647) |
| PARAM_VALUE | 0 | ctlr->dev.kobj.sd->attr.notify_next | 0,426918848001064960 |
| PARAM_VALUE | 0 | ctlr->dev.links.consumers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.links.consumers.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.links.consumers.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.links.defer_sync.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.links.defer_sync.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.links.defer_sync.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.links.suppliers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.links.suppliers.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.links.suppliers.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.p->klist_children.get | 2213798222526185472 |
| PARAM_VALUE | 0 | ctlr->dev.p->klist_children.put | 3126867300421632000 |
| PARAM_VALUE | 0 | ctlr->dev.p->knode_bus.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | ctlr->dev.p->knode_class.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | ctlr->dev.p->knode_parent.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | ctlr->dev.physical_location->dock | 0 |
| PARAM_VALUE | 0 | ctlr->dev.physical_location->horizontal_position | 0 |
| PARAM_VALUE | 0 | ctlr->dev.physical_location->lid | 0 |
| PARAM_VALUE | 0 | ctlr->dev.physical_location->panel | 0 |
| PARAM_VALUE | 0 | ctlr->dev.physical_location->vertical_position | 0 |
| PARAM_VALUE | 0 | ctlr->dev.power.entry.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.power.entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.power.entry.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.power.wait_queue.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.power.wait_queue.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.power.wait_queue.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->devloss_work_q | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->f | 6307013110173962240 |
| PARAM_VALUE | 0 | ctlr->fcf_dev_loss_tmo | 1800 |
| PARAM_VALUE | 0 | ctlr->fcfs.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->fcfs.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->fcfs.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->fcfs.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->fcfs.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ctlr->lock.first_waiter | 0 |
| PARAM_VALUE | 0 | ctlr->lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->lock.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | ctlr->lock.owner.counter | 0 |
| PARAM_VALUE | 0 | ctlr->mode | 1 |
| PARAM_VALUE | 0 | ctlr->work_q | 4096-ptr_max |
| BUF_SIZE | 0 | ctlr | 2816,2880 |
| BUF_SIZE | 0 | ctlr | 2816,2880 |
| BUF_SIZE | 0 | ctlr->f | 80 |
| DATA_SOURCE | 0 | ctlr | r fcoe_ctlr_device_add |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &bnx2fc_dev_lock | ||
| LOCK2 | global &ft_mutex | ||
| LOCK2 | global &rtnl_mutex | ||
| HALF_LOCKED2 | &of->mutex |
drivers/scsi/bnx2fc/bnx2fc_fcoe.c bnx2fc_interface_release() -> fcoe_ctlr_device_delete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &bnx2fc_dev_lock | ||
| HALF_LOCKED2 | global &ft_mutex | ||
| HALF_LOCKED2 | global &rtnl_mutex |
drivers/scsi/fcoe/fcoe.c _fcoe_create() -> fcoe_ctlr_device_delete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| CAPPED_DATA | 0 | &ctlr->dev | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &ft_mutex | ||
| HALF_LOCKED2 | &of->mutex |
drivers/scsi/fcoe/fcoe.c fcoe_destroy_work() -> fcoe_ctlr_device_delete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/scsi/fcoe/fcoe.c fcoe_device_notification() -> fcoe_ctlr_device_delete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL |
drivers/scsi/fcoe/fcoe.c fcoe_interface_create() -> fcoe_ctlr_device_delete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctlr | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.devres_head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.devres_head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.dma_io_tlb_mem->dyn_alloc.data.counter | 9007199250546704 |
| PARAM_VALUE | 0 | ctlr->dev.dma_io_tlb_mem->dyn_alloc.entry.prev | 1473117533515866344 |
| PARAM_VALUE | 0 | ctlr->dev.dma_io_tlb_mem->dyn_alloc.func | 1583282886040592384 |
| PARAM_VALUE | 0 | ctlr->dev.dma_io_tlb_mem->pools.prev | 1473117533515866320 |
| PARAM_VALUE | 0 | ctlr->dev.dma_io_tlb_pools.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.dma_io_tlb_pools.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.dma_io_tlb_pools.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.dma_pools.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.dma_pools.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.dma_pools.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.flags | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.fwnode->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.fwnode->dev->fwnode | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.fwnode->dev->p | 1-u64max |
| PARAM_VALUE | 0 | ctlr->dev.fwnode->dev->power.set_latency_tolerance | 5740181548905971712 |
| PARAM_VALUE | 0 | ctlr->dev.fwnode->suppliers.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.kobj.release->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.kobj.release.timer.is_hard | 0-1 |
| PARAM_VALUE | 0 | ctlr->dev.kobj.release.timer.is_lazy | 0-1 |
| PARAM_VALUE | 0 | ctlr->dev.kobj.release.timer.is_queued | 0-1 |
| PARAM_VALUE | 0 | ctlr->dev.kobj.release.timer.is_soft | 0-1 |
| PARAM_VALUE | 0 | ctlr->dev.kobj.release.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.kobj.sd->active.counter | (-2147483647) |
| PARAM_VALUE | 0 | ctlr->dev.kobj.sd->attr.notify_next | 0,426918848001064960 |
| PARAM_VALUE | 0 | ctlr->dev.links.consumers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.links.consumers.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.links.consumers.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.links.defer_sync.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.links.defer_sync.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.links.defer_sync.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.links.suppliers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.links.suppliers.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.links.suppliers.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.p->klist_children.get | 2213798222526185472 |
| PARAM_VALUE | 0 | ctlr->dev.p->klist_children.put | 3126867300421632000 |
| PARAM_VALUE | 0 | ctlr->dev.p->knode_bus.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | ctlr->dev.p->knode_class.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | ctlr->dev.p->knode_parent.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | ctlr->dev.physical_location->dock | 0 |
| PARAM_VALUE | 0 | ctlr->dev.physical_location->horizontal_position | 0 |
| PARAM_VALUE | 0 | ctlr->dev.physical_location->lid | 0 |
| PARAM_VALUE | 0 | ctlr->dev.physical_location->panel | 0 |
| PARAM_VALUE | 0 | ctlr->dev.physical_location->vertical_position | 0 |
| PARAM_VALUE | 0 | ctlr->dev.power.entry.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.power.entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.power.entry.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.power.wait_queue.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.power.wait_queue.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.power.wait_queue.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->devloss_work_q | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->f | 634489221931311104 |
| PARAM_VALUE | 0 | ctlr->fcf_dev_loss_tmo | 1800 |
| PARAM_VALUE | 0 | ctlr->fcfs.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->fcfs.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->fcfs.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->fcfs.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->fcfs.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ctlr->lock.first_waiter | 0 |
| PARAM_VALUE | 0 | ctlr->lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->lock.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | ctlr->lock.owner.counter | 0 |
| PARAM_VALUE | 0 | ctlr->mode | 1 |
| PARAM_VALUE | 0 | ctlr->work_q | 4096-ptr_max |
| BUF_SIZE | 0 | ctlr | 2816,2880 |
| BUF_SIZE | 0 | ctlr | 2816,2880 |
| BUF_SIZE | 0 | ctlr->f | 80 |
| DATA_SOURCE | 0 | ctlr | r fcoe_ctlr_device_add |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &fcoe_config_mutex | ||
| LOCK2 | global &ft_mutex | ||
| LOCK2 | global &rtnl_mutex | ||
| HALF_LOCKED2 | &of->mutex |