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 do_fm_api() -> esas2r_fm_api()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 0 a->buffered_ioctl_done 0-1
PARAM_VALUE 0 a->firmware.state 0-2
PARAM_VALUE 0 a->flash_context.comp_typ 0,2-5
PARAM_VALUE 0 a->flash_context.fi->cmp_hdr->status 0-255
PARAM_VALUE 0 a->flash_context.fi_hdr_len 0,2176
PARAM_VALUE 0 a->flash_context.func 0-1
PARAM_VALUE 0 a->flash_context.interrupt_cb 0,4870797858849771520
PARAM_VALUE 0 a->flash_context.num_comps 0,6
PARAM_VALUE 0 a->flash_context.task 0-8
PARAM_VALUE 0 a->fm_api_command_done 0
PARAM_VALUE 0 a->fm_api_mutex.dep_map->name 0-255
PARAM_VALUE 0 a->fm_api_mutex.first_waiter 0,4096-5159360019465732095,5159360019465732097-ptr_max
PARAM_VALUE 0 a->fm_api_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 a->fm_api_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 a->fm_api_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 a->fm_api_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 a->fm_api_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 a->fm_api_sgc.cur_offset 1-ptr_max
PARAM_VALUE 0 a->fm_api_sgc.get_phys_addr 2780373498131394560,4507291231828312064
PARAM_VALUE 0 a->fs_api_command_done 0-1
PARAM_VALUE 0 a->nvram_command_done 0-1
PARAM_VALUE 0 a->nvram_semaphore.first_waiter->up 0-1
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->save_offset 1-ptr_max
PARAM_VALUE 0 a->vda_command_done 0-1
PARAM_VALUE 0 *a->req_table 4096-ptr_max
PARAM_VALUE 1 fi 1-ptr_max
PARAM_VALUE 2 rq 4096-ptr_max
PARAM_VALUE 2 rq->comp_cb 2905829065425350656
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 4096-ptr_max
PARAM_VALUE 3 sgc->cur_offset 1-ptr_max
PARAM_VALUE 3 sgc->get_phys_addr 2780373498131394560,4507291231828312064
BUF_SIZE 0 a->firmware.header_buff 2176,u64max
BUF_SIZE 0 a->fm_api_sgc.cur_offset 1-s32max,u64max
BUF_SIZE 0 a->save_offset 1-s32max,u64max
BUF_SIZE 1 fi 1-s32max,u64max
BUF_SIZE 1 fi 1-s32max,u64max
CAPPED_DATA 0 &a->fm_api_mutex 1
DATA_SOURCE 0 a $0
DATA_SOURCE 2 rq r esas2r_alloc_request
FUZZY_MAX 0 a->firmware.state 0
PARAM_COMPARE 0 &a->avail_request != $0->avail_request.next
BIT_INFO 0 a->fm_api_sgc.get_phys_addr 0x26851c7620080000,0x3e9ddfffaf5c3000
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &a->fm_api_mutex
HALF_LOCKED2 &of->mutex
TYPE_LOCK (struct esas2r_adapter)->fm_api_mutex