Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/xen/xen-scsiback.c scsiback_do_cmd_fn() -> scsiback_send_response()

Type Parameter Key Value
PARAM_VALUE 0 info->ring.nr_ents 1-u32max
PARAM_VALUE 0 info->ring.sring 4096-ptr_max
PARAM_VALUE 0 info->ring.sring->ring 4096-ptr_max
PARAM_VALUE 1 sense_buffer 0
PARAM_VALUE 2 result 65536,458752
PARAM_VALUE 3 resid 0
DATA_SOURCE 0 info $0 [m]
BIT_INFO 2 result 0x10000,0x70000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq

drivers/xen/xen-scsiback.c scsiback_do_resp_with_sense() -> scsiback_send_response()

Type Parameter Key Value
PARAM_VALUE 2 result 0-255,8194-8195
BUF_SIZE 1 sense_buffer (-1),96
BUF_SIZE 1 sense_buffer (-1),96
DATA_SOURCE 1 sense_buffer $0
DATA_SOURCE 2 result $1
DATA_SOURCE 3 resid $2
FUZZY_MAX 2 result 8195
BIT_INFO 2 result 0x0,0x20ff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 resid unit_byte

drivers/xen/xen-scsiback.c scsiback_resp_and_free() -> scsiback_send_response()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->ring.nr_ents 1-u32max
PARAM_VALUE 0 info->ring.sring 4096-ptr_max
PARAM_VALUE 1 sense_buffer 0
PARAM_VALUE 2 result 8195,458752
PARAM_VALUE 3 resid 0
PARAM_VALUE 4 rqid 0-15
DATA_SOURCE 2 result $1
HARD_MAX 2 result 458752
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock