Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/mpi3mr/mpi3mr_fw.c mpi3mr_get_drv_cmd() -> mpi3mr_handle_events()

Type Parameter Key Value
PARAM_VALUE 0 mrioc 4096-ptr_max
PARAM_VALUE 0 mrioc->admin_pend_isr.counter 0
PARAM_VALUE 0 mrioc->admin_reply_ephase 0-1
PARAM_VALUE 0 mrioc->admin_reply_q_in_use.counter 0-s32max
PARAM_VALUE 0 mrioc->io_admin_reset_sync 0
PARAM_VALUE 0 mrioc->unrecoverable 0
PARAM_VALUE 1 def_reply 4096-ptr_max
PARAM_VALUE 1 def_reply->function 4
DATA_SOURCE 0 mrioc $0
DATA_SOURCE 1 def_reply $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &drv_cmd->mutex