ppa_select identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/scsi/ppa.c, line 423 (as a function)

Referenced in 1 files:

drivers/scsi/ppa.c
- line 752
- line 924

Smatch caller information:

drivers/scsi/ppa.c device_check() -> ppa_select()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->dev	4096-ptr_max
PARAM_VALUE	0	dev->dev->daisy	(-1)
PARAM_VALUE	0	dev->dev->dev.devres_head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev->dev.devres_head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev->dev.dma_io_tlb_mem->dyn_alloc.data.counter	9007199250546704
PARAM_VALUE	0	dev->dev->dev.dma_io_tlb_mem->dyn_alloc.entry.prev	1473117533515866344
PARAM_VALUE	0	dev->dev->dev.dma_io_tlb_mem->dyn_alloc.func	1583282886040592384
PARAM_VALUE	0	dev->dev->dev.dma_io_tlb_mem->pools.prev	1473117533515866320
PARAM_VALUE	0	dev->dev->dev.dma_io_tlb_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev->dev.dma_io_tlb_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev->dev.dma_io_tlb_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev->dev.dma_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev->dev.dma_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev->dev.dma_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev->dev.driver_data	4096-ptr_max
PARAM_VALUE	0	dev->dev->dev.flags	4096-ptr_max
PARAM_VALUE	0	dev->dev->dev.init_name	0
PARAM_VALUE	0	dev->dev->dev.kobj->name	0-255
PARAM_VALUE	0	dev->dev->dev.kobj.entry.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev->dev.kobj.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev->dev.kobj.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev->dev.kobj.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev->dev.kobj.ktype->child_ns_type	0,2344685749105987584,4089303432171261952,6274457576243130368,8186263191508828160
PARAM_VALUE	0	dev->dev->dev.kobj.ktype->get_ownership	0,754295003445952512,1770093955000758272,2031763320308453376,9073032014207823872,9089295143347961856
PARAM_VALUE	0	dev->dev->dev.kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->dev->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	dev->dev->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	dev->dev->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	dev->dev->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	dev->dev->dev.kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	dev->dev->dev.links.consumers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev->dev.links.consumers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev->dev.links.consumers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev->dev.links.defer_sync.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev->dev.links.defer_sync.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev->dev.links.defer_sync.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev->dev.links.suppliers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev->dev.links.suppliers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev->dev.links.suppliers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev->dev.p	0,4096-ptr_max
PARAM_VALUE	0	dev->dev->dev.p->klist_children.get	2213798222526185472
PARAM_VALUE	0	dev->dev->dev.p->klist_children.put	3126867300421632000
PARAM_VALUE	0	dev->dev->dev.p->knode_class.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev->dev.p->knode_parent.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev->dev.parent->kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->dev->dev.parent->kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	dev->dev->dev.parent->kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	dev->dev->dev.parent->kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	dev->dev->dev.parent->kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	dev->dev->dev.parent->kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	dev->dev->dev.parent->kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	dev->dev->dev.parent->kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	dev->dev->dev.physical_location	0,4096-ptr_max
PARAM_VALUE	0	dev->dev->dev.power.entry.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev->dev.power.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev->dev.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev->dev.power.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev->dev.power.wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev->dev.power.wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev->dev.power.wait_queue.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev->devmodel	1
PARAM_VALUE	0	dev->dev->flags	0
PARAM_VALUE	0	dev->dev->irq_func	0
PARAM_VALUE	0	dev->dev->name	4096-ptr_max
PARAM_VALUE	0	dev->dev->next	0,4096-ptr_max
PARAM_VALUE	0	dev->dev->port	4096-ptr_max
PARAM_VALUE	0	dev->dev->port->ops	4096-ptr_max
PARAM_VALUE	0	dev->dev->port->physport	4096-ptr_max
PARAM_VALUE	0	dev->dev->preempt	0
PARAM_VALUE	0	dev->dev->prev	0
PARAM_VALUE	0	dev->dev->private	4096-ptr_max
PARAM_VALUE	0	dev->dev->state	4096-ptr_max
PARAM_VALUE	0	dev->dev->state->u.pc.ctr	0-255
PARAM_VALUE	0	dev->dev->state->u.pc.ecr	0-255
PARAM_VALUE	0	dev->dev->timeout	1250
PARAM_VALUE	0	dev->dev->timeslice	50
PARAM_VALUE	0	dev->dev->wait_q.head.next	4096-ptr_max
PARAM_VALUE	0	dev->dev->wait_q.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev->wait_q.head.prev	4096-ptr_max
PARAM_VALUE	0	dev->dev->wait_q.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev->wait_q.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev->waiting	0
PARAM_VALUE	0	dev->dev->waitnext	0
PARAM_VALUE	0	dev->dev->waitprev	0
PARAM_VALUE	0	dev->dev->wakeup	547550126588280832
PARAM_VALUE	0	dev->mode	1-5
PARAM_VALUE	0	dev->recon_tmo	500
PARAM_VALUE	0	dev->waiting	0
PARAM_VALUE	0	dev->wanted	0
PARAM_VALUE	1	target	0-7
BUF_SIZE	0	dev	264
BUF_SIZE	0	dev->dev	1856
BUF_SIZE	0	dev->dev->port	s32min-(-1),1-s32max
BUF_SIZE	0	dev->dev->private	264
CAPPED_DATA	0	dev->dev	1
DATA_SOURCE	0	dev	$0
FUZZY_MAX	0	dev->mode	3
FUZZY_MAX	1	target	7
HARD_MAX	1	target	7
RX_PATH
HOST_DATA	0	dev->dev->state->u.pc->ctr	0-u32max
HOST_DATA	0	dev->dev->state->u.pc->ecr	0-u32max
HALF_LOCKED2		global &core_lock
HALF_LOCKED2		global &registration_lock

drivers/scsi/ppa.c ppa_engine() -> ppa_select()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->cur_cmd	1-u64max
PARAM_VALUE	0	dev->failed	0
DATA_SOURCE	0	dev	$0
HALF_LOCKED2		&pool->lock