Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/bfa/bfad_bsg.c bfad_iocmd_ioc_disable() -> bfa_iocfc_disable()

Type Parameter Key Value
PARAM_VALUE 0 bfa 4096-ptr_max
PARAM_VALUE 0 bfa->ioc.fsm 0-2974622246284001279,2974622246284001281-4132575687910232063
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &bfad->bfad_lock
LOCK2 flags
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct bfad_s)->bfad_lock