Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/scsi_lib.c scsi_run_queue() -> scsi_starved_list_run()

Type Parameter Key Value
PARAM_VALUE 0 shost 4096-ptr_max
CAPPED_DATA 0 &shost->starved_list 1
PARAM_COMPARE 0 &shost->starved_list != $0->starved_list.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL