Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/myrb.c raid_state_store() -> myrb_set_pdev_state()

Type Parameter Key Value
PARAM_VALUE 1 sdev 4096-ptr_max
PARAM_VALUE 1 sdev->hostdata 4096-ptr_max
PARAM_VALUE 2 state 0,3,16
FUZZY_MAX 2 state 16
PARAM_COMPARE 0 cb == $1->host->hostdata
PARAM_COMPARE 0 cb == $1->host->hostdata
BIT_INFO 2 state 0x0,0x13
HARD_MAX 2 state 16
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex