Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/scsi/mpi3mr/mpi3mr_app.c mpi3mr_bsg_pel_enable() -> mpi3mr_pel_get_seqnum_post()

Type Parameter Key Value
PARAM_VALUE 0 mrioc 4096-ptr_max
PARAM_VALUE 0 mrioc->admin_req_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mrioc->bsg_cmds.mutex.dep_map->name 0-255
PARAM_VALUE 0 mrioc->bsg_cmds.mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 mrioc->bsg_cmds.mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 mrioc->pel_abort_cmd.done.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 mrioc->pel_abort_cmd.done.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 mrioc->pel_abort_cmd.done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 mrioc->pel_abort_cmd.done.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 mrioc->pel_abort_cmd.done.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 mrioc->pel_abort_cmd.mutex.dep_map->name 0-255
PARAM_VALUE 0 mrioc->pel_abort_cmd.mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 mrioc->pel_abort_cmd.mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 mrioc->pel_abort_cmd.mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 mrioc->pel_abort_cmd.mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 mrioc->pel_abort_cmd.mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 mrioc->pel_abort_cmd.mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 mrioc->pel_abort_cmd.state 32768
PARAM_VALUE 0 mrioc->pel_class 0-6
PARAM_VALUE 0 mrioc->pel_enabled 1
PARAM_VALUE 1 drv_cmd 0
CAPPED_DATA 0 mrioc->pel_class 1
DATA_SOURCE 0 mrioc $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &mrioc->bsg_cmds.mutex
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct mpi3mr_drv_cmd)->mutex

drivers/scsi/mpi3mr/mpi3mr_fw.c mpi3mr_pel_get_seqnum_complete() -> mpi3mr_pel_get_seqnum_post()

Type Parameter Key Value
PARAM_VALUE 0 mrioc 4096-ptr_max
PARAM_VALUE 0 *mrioc->saved_fault_info 0-4294967295
PARAM_VALUE 1 drv_cmd 4096-ptr_max
PARAM_VALUE 1 drv_cmd->callback 1-u64max
PARAM_VALUE 1 drv_cmd->is_waiting 0
PARAM_VALUE 1 drv_cmd->retry_count 0-3
PARAM_VALUE 1 drv_cmd->state 4-u16max
BUF_SIZE 1 drv_cmd (-1),296
BUF_SIZE 1 drv_cmd (-1),296
DATA_SOURCE 0 mrioc $0
DATA_SOURCE 1 drv_cmd $1
BIT_INFO 1 drv_cmd->state 0x4,0xfff5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 mrioc->pdev->current_state 0-3[c]
HOST_DATA 0 mrioc->saved_fault_code 0-u16max
HALF_LOCKED2 0 &mrioc->bsg_cmds.mutex
HALF_LOCKED2 0 &mrioc->pel_abort_cmd.mutex
HALF_LOCKED2 0 &mrioc->reset_mutex

drivers/scsi/mpi3mr/mpi3mr_fw.c mpi3mr_pel_wait_complete() -> mpi3mr_pel_get_seqnum_post()

Type Parameter Key Value
PARAM_VALUE 0 mrioc 4096-ptr_max
PARAM_VALUE 0 mrioc->pel_abort_requested 0
PARAM_VALUE 0 mrioc->pel_cmds.retry_count 0
PARAM_VALUE 0 *mrioc->saved_fault_info 0-4294967295
PARAM_VALUE 1 drv_cmd 4096-ptr_max
PARAM_VALUE 1 drv_cmd->retry_count 0
DATA_SOURCE 0 mrioc $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 mrioc->pdev->current_state 0-3[c]
HOST_DATA 0 mrioc->saved_fault_code 0-u16max
HALF_LOCKED2 0 &mrioc->bsg_cmds.mutex
HALF_LOCKED2 0 &mrioc->pel_abort_cmd.mutex
HALF_LOCKED2 0 &mrioc->reset_mutex