Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/sym53c8xx_2/sym_hipd.c sym_complete_error() -> sym_compute_residual()

Type Parameter Key Value
PARAM_VALUE 0 np 4096-ptr_max
PARAM_VALUE 1 cp 4096-ptr_max
DATA_SOURCE 0 np $0
DATA_SOURCE 1 cp $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 shost->host_lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags

drivers/scsi/sym53c8xx_2/sym_hipd.c sym_complete_ok() -> sym_compute_residual()

Type Parameter Key Value
PARAM_VALUE 0 np 4096-ptr_max
PARAM_VALUE 1 cp 4096-ptr_max
PARAM_VALUE 1 cp->phys.head.status 4096-ptr_max
CAPPED_DATA 1 cp->ccb_ba 1
DATA_SOURCE 0 np $0
DATA_SOURCE 1 cp $1
PARAM_COMPARE 1 cp->goalp != $1->phys.head.lastp
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 shost->host_lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags

drivers/scsi/sym53c8xx_2/sym_hipd.c sym_sir_bad_scsi_status() -> sym_compute_residual()

Type Parameter Key Value
PARAM_VALUE 0 np 4096-ptr_max
PARAM_VALUE 1 cp 4096-ptr_max
PARAM_VALUE 1 cp->phys.head.status 4096-ptr_max
CAPPED_DATA 1 cp->ccb_ba 1
DATA_SOURCE 0 np $0
DATA_SOURCE 1 cp $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 shost->host_lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags