Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/ppa.c ppa_abort() -> ppa_dev()

Type Parameter Key Value

drivers/scsi/ppa.c ppa_completion() -> ppa_dev()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
HALF_LOCKED2 &pool->lock

drivers/scsi/ppa.c ppa_queuecommand_lck() -> ppa_dev()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 irq_flags
LOCK2 shost->host_lock
HALF_LOCKED2 &sdev->state_mutex

drivers/scsi/ppa.c ppa_reset() -> ppa_dev()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max

drivers/scsi/ppa.c ppa_send_command() -> ppa_dev()

Type Parameter Key Value
HALF_LOCKED2 &pool->lock

drivers/scsi/ppa.c ppa_show_info() -> ppa_dev()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
BUF_SIZE 0 host s32min-(-2),1-s32max
BUF_SIZE 0 host s32min-(-2),1-s32max
DATA_SOURCE 0 host $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &m->lock
TYPE_LOCK (struct seq_file)->lock

drivers/scsi/ppa.c ppa_write_info() -> ppa_dev()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
BUF_SIZE 0 host s32min-(-2),1-s32max
BUF_SIZE 0 host s32min-(-2),1-s32max
DATA_SOURCE 0 host $0