Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/pcmcia/aha152x_core.c aha152x_host_reset_host() -> reset_ports()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
DATA_SOURCE 0 shpnt $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/scsi/pcmcia/aha152x_core.c aha152x_probe_one() -> reset_ports()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 0 shpnt->__devices.next 4096-ptr_max
PARAM_VALUE 0 shpnt->__devices.next->next 4096-ptr_max
PARAM_VALUE 0 shpnt->__devices.prev 4096-ptr_max
PARAM_VALUE 0 shpnt->__devices.prev->next 4096-ptr_max
PARAM_VALUE 0 shpnt->__devices.prev->prev 4096-ptr_max
PARAM_VALUE 0 shpnt->__targets.next 4096-ptr_max
PARAM_VALUE 0 shpnt->__targets.next->next 4096-ptr_max
PARAM_VALUE 0 shpnt->__targets.prev 4096-ptr_max
PARAM_VALUE 0 shpnt->__targets.prev->next 4096-ptr_max
PARAM_VALUE 0 shpnt->__targets.prev->prev 4096-ptr_max
PARAM_VALUE 0 shpnt->active_mode 1-3
PARAM_VALUE 0 shpnt->can_queue 1,7
PARAM_VALUE 0 shpnt->cmd_per_lun 0
PARAM_VALUE 0 shpnt->dma_alignment 1-u32max
PARAM_VALUE 0 shpnt->dma_boundary 1-u64max
PARAM_VALUE 0 shpnt->dma_channel 255
PARAM_VALUE 0 shpnt->eh_abort_list.next 4096-ptr_max
PARAM_VALUE 0 shpnt->eh_abort_list.next->next 4096-ptr_max
PARAM_VALUE 0 shpnt->eh_abort_list.prev 4096-ptr_max
PARAM_VALUE 0 shpnt->eh_abort_list.prev->next 4096-ptr_max
PARAM_VALUE 0 shpnt->eh_abort_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 shpnt->eh_cmd_q.next 4096-ptr_max
PARAM_VALUE 0 shpnt->eh_cmd_q.next->next 4096-ptr_max
PARAM_VALUE 0 shpnt->eh_cmd_q.prev 4096-ptr_max
PARAM_VALUE 0 shpnt->eh_cmd_q.prev->next 4096-ptr_max
PARAM_VALUE 0 shpnt->eh_cmd_q.prev->prev 4096-ptr_max
PARAM_VALUE 0 shpnt->eh_deadline (-1)-2147483500,s32max
PARAM_VALUE 0 shpnt->ehandler 4096-ptr_max
PARAM_VALUE 0 shpnt->ehandler->blocked_on 0
PARAM_VALUE 0 shpnt->ehandler->cpus_ptr 4096-ptr_max
PARAM_VALUE 0 shpnt->ehandler->migration_disabled 0-1
PARAM_VALUE 0 shpnt->ehandler->on_rq 0-1,3-255
PARAM_VALUE 0 shpnt->ehandler->pushable_dl_tasks.__rb_parent_color 1
PARAM_VALUE 0 shpnt->ehandler->saved_state 0
PARAM_VALUE 0 shpnt->ehandler->wake_cpu 0-s32max
PARAM_VALUE 0 shpnt->host_lock 4096-ptr_max
PARAM_VALUE 0 shpnt->host_no 0-s32max
PARAM_VALUE 0 shpnt->host_tagset 0
PARAM_VALUE 0 shpnt->host_wait.head.next 4096-ptr_max
PARAM_VALUE 0 shpnt->host_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 shpnt->host_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 shpnt->host_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 shpnt->host_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 shpnt->hostt 5375300179442397184
PARAM_VALUE 0 shpnt->io_port 0
PARAM_VALUE 0 shpnt->irq 1-u32max
PARAM_VALUE 0 shpnt->max_channel 0
PARAM_VALUE 0 shpnt->max_cmd_len 12
PARAM_VALUE 0 shpnt->max_host_blocked 1-u32max
PARAM_VALUE 0 shpnt->max_id 8
PARAM_VALUE 0 shpnt->max_lun 8
PARAM_VALUE 0 shpnt->max_sectors 1-u32max
PARAM_VALUE 0 shpnt->max_segment_size 1-u32max
PARAM_VALUE 0 shpnt->n_io_port 32
PARAM_VALUE 0 shpnt->no_write_same 0
PARAM_VALUE 0 shpnt->nr_reserved_cmds 0
PARAM_VALUE 0 shpnt->queuecommand_may_block 0
PARAM_VALUE 0 shpnt->scan_mutex.dep_map->name 0-255
PARAM_VALUE 0 shpnt->scan_mutex.first_waiter 0
PARAM_VALUE 0 shpnt->scan_mutex.magic 4096-ptr_max
PARAM_VALUE 0 shpnt->scan_mutex.osq.tail.counter 0
PARAM_VALUE 0 shpnt->scan_mutex.owner.counter 0
PARAM_VALUE 0 shpnt->sg_prot_tablesize 0
PARAM_VALUE 0 shpnt->sg_tablesize 128
PARAM_VALUE 0 shpnt->shost_dev.class 942952841909760000
PARAM_VALUE 0 shpnt->shost_dev.devres_head.next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.devres_head.next->next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.devres_head.prev->prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.dma_io_tlb_mem 1473117533515866112
PARAM_VALUE 0 shpnt->shost_dev.dma_io_tlb_mem->dyn_alloc.data.counter 9007199250546704
PARAM_VALUE 0 shpnt->shost_dev.dma_io_tlb_mem->dyn_alloc.entry.prev 1473117533515866344
PARAM_VALUE 0 shpnt->shost_dev.dma_io_tlb_mem->dyn_alloc.func 1583282886040592384
PARAM_VALUE 0 shpnt->shost_dev.dma_io_tlb_mem->pools.prev 1473117533515866320
PARAM_VALUE 0 shpnt->shost_dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.dma_io_tlb_pools.next->next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.dma_io_tlb_pools.prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.dma_io_tlb_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.dma_io_tlb_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.dma_pools.next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.dma_pools.next->next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.dma_pools.prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.dma_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.dma_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.dma_uses_io_tlb 0
PARAM_VALUE 0 shpnt->shost_dev.flags 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.groups 0
PARAM_VALUE 0 shpnt->shost_dev.kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 shpnt->shost_dev.kobj.kset 0,4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.kobj.ktype 5399513539053756416
PARAM_VALUE 0 shpnt->shost_dev.kobj.state_in_sysfs 0
PARAM_VALUE 0 shpnt->shost_dev.kobj.state_initialized 1
PARAM_VALUE 0 shpnt->shost_dev.links.consumers.next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.links.consumers.next->next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.links.consumers.prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.links.consumers.prev->next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.links.consumers.prev->prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.links.defer_sync.next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.links.defer_sync.next->next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.links.defer_sync.prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.links.defer_sync.prev->next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.links.defer_sync.prev->prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.links.status 0
PARAM_VALUE 0 shpnt->shost_dev.links.suppliers.next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.links.suppliers.next->next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.links.suppliers.prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.links.suppliers.prev->next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.links.suppliers.prev->prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.numa_node (-1)
PARAM_VALUE 0 shpnt->shost_dev.parent 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.parent->bus 3137178616257380352
PARAM_VALUE 0 shpnt->shost_dev.parent->devres_head.next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.parent->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.parent->dma_io_tlb_mem 1473117533515866112
PARAM_VALUE 0 shpnt->shost_dev.parent->dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.parent->dma_io_tlb_pools.prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.parent->dma_pools.next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.parent->dma_pools.prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.parent->kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 shpnt->shost_dev.parent->kobj.kset 0,4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.parent->kobj.ktype 5399513539053756416
PARAM_VALUE 0 shpnt->shost_dev.parent->kobj.state_initialized 1
PARAM_VALUE 0 shpnt->shost_dev.parent->links.consumers.next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.parent->links.consumers.prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.parent->links.defer_sync.next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.parent->links.defer_sync.prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.parent->links.status 0
PARAM_VALUE 0 shpnt->shost_dev.parent->links.suppliers.next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.parent->links.suppliers.prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.parent->numa_node (-1)
PARAM_VALUE 0 shpnt->shost_dev.parent->power.disable_depth 1
PARAM_VALUE 0 shpnt->shost_dev.parent->power.early_init 1
PARAM_VALUE 0 shpnt->shost_dev.parent->power.entry.next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.parent->power.entry.prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.parent->power.last_status (-1)
PARAM_VALUE 0 shpnt->shost_dev.parent->power.qos 0
PARAM_VALUE 0 shpnt->shost_dev.parent->power.request 0
PARAM_VALUE 0 shpnt->shost_dev.parent->power.runtime_auto 1
PARAM_VALUE 0 shpnt->shost_dev.parent->power.runtime_status 2
PARAM_VALUE 0 shpnt->shost_dev.parent->power.wait_queue.head.next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.parent->power.wait_queue.head.prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.parent->type 4452975310479048704
PARAM_VALUE 0 shpnt->shost_dev.power.deferred_resume 0
PARAM_VALUE 0 shpnt->shost_dev.power.disable_depth 1
PARAM_VALUE 0 shpnt->shost_dev.power.early_init 1
PARAM_VALUE 0 shpnt->shost_dev.power.entry.next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.power.entry.next->next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.power.entry.prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.power.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.power.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.power.ignore_children 0
PARAM_VALUE 0 shpnt->shost_dev.power.is_prepared 0
PARAM_VALUE 0 shpnt->shost_dev.power.is_suspended 0
PARAM_VALUE 0 shpnt->shost_dev.power.last_status (-1)
PARAM_VALUE 0 shpnt->shost_dev.power.qos 0
PARAM_VALUE 0 shpnt->shost_dev.power.request 0
PARAM_VALUE 0 shpnt->shost_dev.power.request_pending 0
PARAM_VALUE 0 shpnt->shost_dev.power.runtime_auto 1
PARAM_VALUE 0 shpnt->shost_dev.power.runtime_error 0
PARAM_VALUE 0 shpnt->shost_dev.power.runtime_status 2
PARAM_VALUE 0 shpnt->shost_dev.power.timer_expires 0
PARAM_VALUE 0 shpnt->shost_dev.power.wait_queue.head.next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.power.wait_queue.head.next->next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.power.wait_queue.head.prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.power.wait_queue.head.prev->next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_dev.power.wait_queue.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.bus 3137178616257380352
PARAM_VALUE 0 shpnt->shost_gendev.devres_head.next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.devres_head.next->next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.devres_head.prev->prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.dma_io_tlb_mem 1473117533515866112
PARAM_VALUE 0 shpnt->shost_gendev.dma_io_tlb_mem->dyn_alloc.data.counter 9007199250546704
PARAM_VALUE 0 shpnt->shost_gendev.dma_io_tlb_mem->dyn_alloc.entry.prev 1473117533515866344
PARAM_VALUE 0 shpnt->shost_gendev.dma_io_tlb_mem->dyn_alloc.func 1583282886040592384
PARAM_VALUE 0 shpnt->shost_gendev.dma_io_tlb_mem->pools.prev 1473117533515866320
PARAM_VALUE 0 shpnt->shost_gendev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.dma_io_tlb_pools.next->next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.dma_io_tlb_pools.prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.dma_io_tlb_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.dma_io_tlb_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.dma_pools.next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.dma_pools.next->next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.dma_pools.prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.dma_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.dma_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.dma_uses_io_tlb 0
PARAM_VALUE 0 shpnt->shost_gendev.flags 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 shpnt->shost_gendev.kobj.kset 0,4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.kobj.ktype 5399513539053756416
PARAM_VALUE 0 shpnt->shost_gendev.kobj.state_in_sysfs 0
PARAM_VALUE 0 shpnt->shost_gendev.kobj.state_initialized 1
PARAM_VALUE 0 shpnt->shost_gendev.links.consumers.next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.links.consumers.next->next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.links.consumers.prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.links.consumers.prev->next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.links.consumers.prev->prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.links.defer_sync.next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.links.defer_sync.next->next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.links.defer_sync.prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.links.defer_sync.prev->next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.links.defer_sync.prev->prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.links.status 0
PARAM_VALUE 0 shpnt->shost_gendev.links.suppliers.next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.links.suppliers.next->next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.links.suppliers.prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.links.suppliers.prev->next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.links.suppliers.prev->prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.numa_node (-1)
PARAM_VALUE 0 shpnt->shost_gendev.power.disable_depth 1
PARAM_VALUE 0 shpnt->shost_gendev.power.early_init 1
PARAM_VALUE 0 shpnt->shost_gendev.power.entry.next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.power.entry.next->next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.power.entry.prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.power.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.power.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.power.is_prepared 0
PARAM_VALUE 0 shpnt->shost_gendev.power.is_suspended 0
PARAM_VALUE 0 shpnt->shost_gendev.power.last_status (-1)
PARAM_VALUE 0 shpnt->shost_gendev.power.qos 0
PARAM_VALUE 0 shpnt->shost_gendev.power.request 0
PARAM_VALUE 0 shpnt->shost_gendev.power.runtime_auto 1
PARAM_VALUE 0 shpnt->shost_gendev.power.runtime_error 0
PARAM_VALUE 0 shpnt->shost_gendev.power.runtime_status 2
PARAM_VALUE 0 shpnt->shost_gendev.power.timer_expires 0
PARAM_VALUE 0 shpnt->shost_gendev.power.wait_queue.head.next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.power.wait_queue.head.next->next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.power.wait_queue.head.prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.power.wait_queue.head.prev->next 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.power.wait_queue.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.type 4452975310479048704
PARAM_VALUE 0 shpnt->shost_state 1
PARAM_VALUE 0 shpnt->starved_list.next 4096-ptr_max
PARAM_VALUE 0 shpnt->starved_list.next->next 4096-ptr_max
PARAM_VALUE 0 shpnt->starved_list.prev 4096-ptr_max
PARAM_VALUE 0 shpnt->starved_list.prev->next 4096-ptr_max
PARAM_VALUE 0 shpnt->starved_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 shpnt->this_id 0
PARAM_VALUE 0 shpnt->tmf_work_q 4096-ptr_max
PARAM_VALUE 0 shpnt->transportt 5918905452196392960
PARAM_VALUE 0 shpnt->virt_boundary_mask 0
BUF_SIZE 0 shpnt 4600-s32max
BUF_SIZE 0 shpnt 4600-s32max
BUF_SIZE 0 shpnt->hostt 360
DATA_SOURCE 0 shpnt r scsi_host_alloc
FUZZY_MAX 0 shpnt->can_queue 7
BIT_INFO 0 shpnt->can_queue 0x1,0x7
BIT_INFO 0 shpnt->irq 0x0,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL