Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/mpi3mr/mpi3mr_os.c mpi3mr_encldev_add_chg_evt_bh() -> mpi3mr_encldev_add_chg_evt_debug()

Type Parameter Key Value
PARAM_VALUE 0 mrioc 4096-ptr_max
PARAM_VALUE 0 mrioc->current_event 4096-ptr_max
PARAM_VALUE 0 mrioc->current_event->list.next 4096-ptr_max
PARAM_VALUE 0 mrioc->current_event->list.prev 4096-ptr_max
PARAM_VALUE 0 mrioc->fwevt_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mrioc->stop_drv_processing 0
PARAM_VALUE 0 mrioc->unrecoverable 0
PARAM_VALUE 2 is_added 0-1
DATA_SOURCE 0 mrioc $0
FUZZY_MAX 2 is_added 1
HARD_MAX 2 is_added 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock