Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/storvsc_drv.c storvsc_on_receive() -> storvsc_on_io_completion()

Type Parameter Key Value
PARAM_VALUE 0 stor_device 4096-ptr_max
PARAM_VALUE 1 vstor_packet 4096-ptr_max
PARAM_VALUE 1 vstor_packet->operation 1
PARAM_VALUE 2 request 0,4096-ptr_max
BUF_SIZE 0 stor_device s32min-(-2),1-s32max
BUF_SIZE 0 stor_device s32min-(-2),1-s32max
DATA_SOURCE 0 stor_device $0
DATA_SOURCE 1 vstor_packet $1
DATA_SOURCE 2 request $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &channel->sched_lock
HALF_LOCKED2 rcu_read