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_main.c esas2r_dev_targ_reset() -> esas2r_send_task_mgmt()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 0 a->nvram_semaphore.first_waiter->up 0-1
PARAM_VALUE 0 a->request_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *a->req_table 4096-ptr_max
PARAM_VALUE 1 rqaux 4096-ptr_max
PARAM_VALUE 1 rqaux->cmd 1338390917519745024
PARAM_VALUE 1 rqaux->comp_cb 5399684290669768704
PARAM_VALUE 1 rqaux->data_buf 4096-ptr_max
PARAM_VALUE 1 rqaux->flags 0
PARAM_VALUE 1 rqaux->interrupt_cb 0
PARAM_VALUE 1 rqaux->req_stat 254
PARAM_VALUE 1 rqaux->req_type 1
PARAM_VALUE 1 rqaux->sg_table_head.next 4096-ptr_max
PARAM_VALUE 1 rqaux->sg_table_head.next->next 4096-ptr_max
PARAM_VALUE 1 rqaux->sg_table_head.prev 4096-ptr_max
PARAM_VALUE 1 rqaux->sg_table_head.prev->next 4096-ptr_max
PARAM_VALUE 1 rqaux->sg_table_head.prev->prev 4096-ptr_max
PARAM_VALUE 1 rqaux->task_management_status_ptr 1338390917519745024
PARAM_VALUE 1 rqaux->timeout 0
PARAM_VALUE 1 rqaux->vda_req_sz 0
PARAM_VALUE 1 rqaux->vda_rsp_data 4096-ptr_max
PARAM_VALUE 1 rqaux->vrq 4096-ptr_max
PARAM_VALUE 1 rqaux->vrq->scsi.chain_offset 0
PARAM_VALUE 1 rqaux->vrq->scsi.function 0
PARAM_VALUE 1 rqaux->vrq->scsi.reserved 0
PARAM_VALUE 1 rqaux->vrq->scsi.sense_len 252
PARAM_VALUE 1 rqaux->vrq->scsi.sg_list_offset 0
PARAM_VALUE 1 rqaux->vrq_md 4096-ptr_max
PARAM_VALUE 1 *rqaux->task_management_status_ptr 254
PARAM_VALUE 2 task_mgt_func 32
DATA_SOURCE 1 rqaux r esas2r_alloc_request
PARAM_COMPARE 0 &a->avail_request != $0->avail_request.next

drivers/scsi/esas2r/esas2r_main.c esas2r_dev_targ_reset() -> esas2r_send_task_mgmt()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 0 a->nvram_semaphore.first_waiter->up 0-1
PARAM_VALUE 0 a->request_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *a->req_table 4096-ptr_max
PARAM_VALUE 1 rqaux 4096-ptr_max
PARAM_VALUE 1 rqaux->cmd 1338390917519745024
PARAM_VALUE 1 rqaux->comp_cb 5399684290669768704
PARAM_VALUE 1 rqaux->data_buf 4096-ptr_max
PARAM_VALUE 1 rqaux->flags 0
PARAM_VALUE 1 rqaux->interrupt_cb 0
PARAM_VALUE 1 rqaux->req_stat 254
PARAM_VALUE 1 rqaux->req_type 1
PARAM_VALUE 1 rqaux->sg_table_head.next 4096-ptr_max
PARAM_VALUE 1 rqaux->sg_table_head.next->next 4096-ptr_max
PARAM_VALUE 1 rqaux->sg_table_head.prev 4096-ptr_max
PARAM_VALUE 1 rqaux->sg_table_head.prev->next 4096-ptr_max
PARAM_VALUE 1 rqaux->sg_table_head.prev->prev 4096-ptr_max
PARAM_VALUE 1 rqaux->task_management_status_ptr 1338390917519745024
PARAM_VALUE 1 rqaux->timeout 0
PARAM_VALUE 1 rqaux->vda_req_sz 0
PARAM_VALUE 1 rqaux->vda_rsp_data 4096-ptr_max
PARAM_VALUE 1 rqaux->vrq 4096-ptr_max
PARAM_VALUE 1 rqaux->vrq->scsi.chain_offset 0
PARAM_VALUE 1 rqaux->vrq->scsi.function 0
PARAM_VALUE 1 rqaux->vrq->scsi.reserved 0
PARAM_VALUE 1 rqaux->vrq->scsi.sense_len 252
PARAM_VALUE 1 rqaux->vrq->scsi.sg_list_offset 0
PARAM_VALUE 1 rqaux->vrq_md 4096-ptr_max
PARAM_VALUE 1 *rqaux->task_management_status_ptr 254
PARAM_VALUE 2 task_mgt_func 16
DATA_SOURCE 1 rqaux r esas2r_alloc_request
PARAM_COMPARE 0 &a->avail_request != $0->avail_request.next