Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/esas2r/esas2r_ioctl.c esas2r_read_fs() -> esas2r_process_fs_ioctl()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 0 a->fs_api_buffer 4096-ptr_max
PARAM_VALUE 0 a->fs_api_command_done 0
PARAM_VALUE 0 a->fs_api_mutex.dep_map->name 0-255
PARAM_VALUE 0 a->fs_api_mutex.first_waiter 0,4096-5159360019465732095,5159360019465732097-ptr_max
PARAM_VALUE 0 a->fs_api_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 a->fs_api_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 a->fs_api_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 a->fs_api_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 a->fs_api_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 a->pcid->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 a->request_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *a->req_table 4096-ptr_max
PARAM_VALUE 1 fs 4096-ptr_max
PARAM_VALUE 2 rq 4096-ptr_max
PARAM_VALUE 2 rq->comp_cb 2268186813771816960
PARAM_VALUE 2 rq->data_buf 4096-ptr_max
PARAM_VALUE 2 rq->flags 0
PARAM_VALUE 2 rq->interrupt_cb 0
PARAM_VALUE 2 rq->req_stat 254
PARAM_VALUE 2 rq->req_type 1
PARAM_VALUE 2 rq->sg_table_head.next 4096-ptr_max
PARAM_VALUE 2 rq->sg_table_head.next->next 4096-ptr_max
PARAM_VALUE 2 rq->sg_table_head.prev 4096-ptr_max
PARAM_VALUE 2 rq->sg_table_head.prev->next 4096-ptr_max
PARAM_VALUE 2 rq->sg_table_head.prev->prev 4096-ptr_max
PARAM_VALUE 2 rq->timeout 0
PARAM_VALUE 2 rq->vda_req_sz 0
PARAM_VALUE 2 rq->vda_rsp_data 4096-ptr_max
PARAM_VALUE 2 rq->vrq 4096-ptr_max
PARAM_VALUE 2 rq->vrq->scsi.chain_offset 0
PARAM_VALUE 2 rq->vrq->scsi.flags 0
PARAM_VALUE 2 rq->vrq->scsi.function 0
PARAM_VALUE 2 rq->vrq->scsi.reserved 0
PARAM_VALUE 2 rq->vrq->scsi.sense_len 252
PARAM_VALUE 2 rq->vrq->scsi.sg_list_offset 0
PARAM_VALUE 2 rq->vrq_md 4096-ptr_max
PARAM_VALUE 3 sgc 7127245854933446656
PARAM_VALUE 3 sgc->get_phys_addr 8055205972891414528
BUF_SIZE 1 fs 1-s32max
BUF_SIZE 1 fs 1-s32max
CAPPED_DATA 0 &a->fs_api_mutex 1
DATA_SOURCE 0 a $0
DATA_SOURCE 2 rq r esas2r_alloc_request
PARAM_COMPARE 0 &a->avail_request != $0->avail_request.next
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &a->fs_api_mutex
HALF_LOCKED2 &of->mutex
TYPE_LOCK (struct esas2r_adapter)->fs_api_mutex