Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/mpi3mr/mpi3mr_transport.c mpi3mr_add_phy_to_an_existing_port() -> mpi3mr_add_sas_phy()

Type Parameter Key Value
PARAM_VALUE 0 mrioc 4096-ptr_max
PARAM_VALUE 0 mrioc->admin_req_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mrioc->cfg_cmds.mutex.dep_map->name 0-255
PARAM_VALUE 0 mrioc->current_event 4096-ptr_max
PARAM_VALUE 0 mrioc->current_event->list.next 4096-ptr_max
PARAM_VALUE 0 mrioc->current_event->list.prev 4096-ptr_max
PARAM_VALUE 0 mrioc->pci_err_recovery 0
PARAM_VALUE 0 mrioc->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 mrioc->pdev->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 mrioc->pdev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 mrioc->pdev->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 mrioc->pdev->is_virtfn 0
PARAM_VALUE 0 mrioc->sas_transport_enabled 1-255
PARAM_VALUE 0 mrioc->stop_drv_processing 0
PARAM_VALUE 1 mr_sas_port 4096-ptr_max
PARAM_VALUE 1 mr_sas_port->hba_port 1-u64max
PARAM_VALUE 2 mr_sas_phy 4096-ptr_max
PARAM_VALUE 2 mr_sas_phy->phy_belongs_to_port 0,2-255
CAPPED_DATA 1 mr_sas_port->hba_port 1
CAPPED_DATA 1 mr_sas_port->remote_identify.sas_address 1
CAPPED_DATA 1 &mr_sas_port->phy_list 1
DATA_SOURCE 0 mrioc $0
DATA_SOURCE 2 mr_sas_phy $2
NOCHECK_CALL
HOST_DATA 0 mrioc->pdev->pme_support 0-31[c]
NO_OVERFLOW_SIMPLE 0 mrioc->pdev->dev.cma_area->available_count
NO_OVERFLOW_SIMPLE 0 mrioc->sas_hba.num_phys
LOCK2 &pool->lock