Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/dmx3191d.c NCR5380_abort() -> list_del_cmd()

Type Parameter Key Value
PARAM_VALUE 0 haystack 4096-ptr_max
PARAM_VALUE 1 needle 4096-ptr_max
PARAM_VALUE 1 needle->device 4096-ptr_max
DATA_SOURCE 1 needle $0
PREEMPT_ADD <- disables preempt
LOCK2 &hostdata->lock
LOCK2 flags
TYPE_LOCK (struct NCR5380_hostdata)->lock

drivers/scsi/dmx3191d.c NCR5380_abort() -> list_del_cmd()

Type Parameter Key Value
PARAM_VALUE 0 haystack 4096-ptr_max
PARAM_VALUE 1 needle 4096-ptr_max
PARAM_VALUE 1 needle->device 4096-ptr_max
DATA_SOURCE 1 needle $0
PREEMPT_ADD <- disables preempt
LOCK2 &hostdata->lock
LOCK2 flags
TYPE_LOCK (struct NCR5380_hostdata)->lock

drivers/scsi/dmx3191d.c NCR5380_abort() -> list_del_cmd()

Type Parameter Key Value
PARAM_VALUE 0 haystack 4096-ptr_max
PARAM_VALUE 1 needle 4096-ptr_max
PARAM_VALUE 1 needle->device 4096-ptr_max
DATA_SOURCE 1 needle $0
PREEMPT_ADD <- disables preempt
LOCK2 &hostdata->lock
LOCK2 flags
TYPE_LOCK (struct NCR5380_hostdata)->lock