Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/bfa/bfa_ioc.c bfa_dconf_sm_uninit() -> bfa_dconf_init_cb()

Type Parameter Key Value
PARAM_VALUE 0 arg 4096-ptr_max
PARAM_VALUE 1 status 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &bfad->bfad_lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct bfad_s)->bfad_lock

drivers/scsi/bfa/bfa_ioc.c bfa_flash_cb() -> (struct bfa_flash_s)->cbfn()

Type Parameter Key Value
BUF_SIZE 0 arg 104,136,160,376,584,720
CONTAINER 0 *(-88+96) $(-1)
CONTAINER 1 *(-88+36) $(-1)
NOCHECK_CALL

drivers/scsi/bfa/bfa_ioc.c bfa_flash_notify() -> (struct bfa_flash_s)->cbfn()

Type Parameter Key Value
PARAM_VALUE 1 status 56
BUF_SIZE 0 arg 104,136,160,376,584,720
CONTAINER 0 *(-88+96) $(-1)
CONTAINER 1 *(-88+36) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &bfad->bfad_lock
HALF_LOCKED2 flags