Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/sg.c sg_start_req() -> sg_link_reserve()

Type Parameter Key Value
PARAM_VALUE 0 sfp 4096-ptr_max
PARAM_VALUE 0 sfp->f_mutex.dep_map->name 0-255
PARAM_VALUE 0 sfp->f_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 sfp->f_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 sfp->f_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 sfp->f_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 sfp->f_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 sfp->f_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 sfp->parentdp 4096-ptr_max
PARAM_VALUE 0 sfp->parentdp->device 4096-ptr_max
PARAM_VALUE 0 sfp->parentdp->device->request_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sfp->parentdp->device->request_queue->q_usage_counter.percpu_count_ptr 1-u64max
PARAM_VALUE 0 sfp->res_in_use 1
PARAM_VALUE 0 sfp->reserve.bufflen 1-u32max
PARAM_VALUE 0 sfp->rq_list_lock.owner_cpu 0
PARAM_VALUE 0 sfp->rq_list_lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 1 srp 4096-ptr_max
PARAM_VALUE 1 srp->bio 0
PARAM_VALUE 1 srp->data.bufflen 0
PARAM_VALUE 1 srp->data.dio_in_use 0
PARAM_VALUE 1 srp->data.k_use_sg 0
PARAM_VALUE 1 srp->data.page_order 0
PARAM_VALUE 1 srp->data.pages 0
PARAM_VALUE 1 srp->data.sglist_len 0
PARAM_VALUE 1 srp->done 0
PARAM_VALUE 1 srp->ew.work.data.counter 0
PARAM_VALUE 1 srp->ew.work.entry.next 0
PARAM_VALUE 1 srp->ew.work.entry.prev 0
PARAM_VALUE 1 srp->ew.work.func 0
PARAM_VALUE 1 srp->header.cmd_len 0-32
PARAM_VALUE 1 srp->header.driver_status 0
PARAM_VALUE 1 srp->header.dxfer_len 1-268435455
PARAM_VALUE 1 srp->header.flags 1-u32max
PARAM_VALUE 1 srp->header.host_status 0
PARAM_VALUE 1 srp->header.info 0
PARAM_VALUE 1 srp->header.interface_id 0,83
PARAM_VALUE 1 srp->header.masked_status 0
PARAM_VALUE 1 srp->header.msg_status 0
PARAM_VALUE 1 srp->header.resid 0
PARAM_VALUE 1 srp->header.status 0
PARAM_VALUE 1 srp->orphan 0
PARAM_VALUE 1 srp->parentfp 4096-ptr_max
PARAM_VALUE 1 srp->parentfp->f_mutex.dep_map->name 0-255
PARAM_VALUE 1 srp->parentfp->f_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 srp->parentfp->f_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 srp->parentfp->f_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 srp->parentfp->f_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 srp->parentfp->f_mutex.wait_lock.owner (-1)
PARAM_VALUE 1 srp->parentfp->f_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 srp->parentfp->parentdp 4096-ptr_max
PARAM_VALUE 1 srp->parentfp->parentdp->device 4096-ptr_max
PARAM_VALUE 1 srp->parentfp->parentdp->device->request_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 1 srp->parentfp->parentdp->device->request_queue->q_usage_counter.percpu_count_ptr 1-u64max
PARAM_VALUE 1 srp->parentfp->res_in_use 1
PARAM_VALUE 1 srp->parentfp->rq_list_lock.owner_cpu 0
PARAM_VALUE 1 srp->parentfp->rq_list_lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 1 srp->res_used 0
PARAM_VALUE 1 srp->rq 4096-ptr_max
PARAM_VALUE 1 srp->rq->__data_len 0
PARAM_VALUE 1 srp->rq->__sector u64max
PARAM_VALUE 1 srp->rq->bio 0
PARAM_VALUE 1 srp->rq->biotail 0
PARAM_VALUE 1 srp->rq->phys_gap_bit 0
PARAM_VALUE 1 srp->rq->q 4096-ptr_max
PARAM_VALUE 1 srp->sg_io_owned 0-1
PARAM_VALUE 2 size 1-268435455
BUF_SIZE 1 srp 5504
BUF_SIZE 1 srp 5504
CAPPED_DATA 0 &sfp->f_mutex 1
CAPPED_DATA 2 size 1
DATA_SOURCE 1 srp $0
FUZZY_MAX 1 srp->header.cmd_len 32
HARD_MAX 1 srp->header.cmd_len 32
HARD_MAX 1 srp->header.interface_id 83
NOCHECK_CALL
USER_DATA 1 srp->data.cmd_opcode 0-255
UNITS 2 size unit_byte
LOCK2 0 &sfp->f_mutex
TYPE_LOCK (struct sg_fd)->f_mutex