Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 np 4096-ptr_max
PARAM_VALUE 1 cp 4096-ptr_max
PARAM_VALUE 3 ofs 8869608576186425344
PARAM_VALUE 3 *ofs 0
DATA_SOURCE 0 np $0
DATA_SOURCE 1 cp $1
PARAM_COMPARE 1 cp->goalp != $1->phys.head.lastp
PARAM_COMPARE 1 cp->phys.head.lastp != $1->startp
PARAM_COMPARE 2 scr != $1->goalp
PARAM_COMPARE 2 scr != $1->startp
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 2 scr unit_byte
LOCK2 shost->host_lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags

drivers/scsi/sym53c8xx_2/sym_hipd.c sym_modify_dp() -> sym_evaluate_dp()

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
PARAM_VALUE 3 ofs 7097833418519265280
PARAM_VALUE 3 *ofs (-1),134744072
CAPPED_DATA 1 cp->ccb_ba 1
DATA_SOURCE 0 np $0
DATA_SOURCE 1 cp $2
BIT_INFO 0 np->features 0x0,0xffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 2 scr unit_byte
LOCK2 shost->host_lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags