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_cb_sfp_state_query() -> bfa_sfp_speed_valid()

Type Parameter Key Value
PARAM_VALUE 0 sfp 4096-ptr_max
PARAM_VALUE 0 sfp->lock 0
PARAM_VALUE 0 sfp->media 0
PARAM_VALUE 0 sfp->portspeed 1-u32max
PARAM_VALUE 0 sfp->state_query_lock 1-255
PARAM_VALUE 0 sfp->trcmod 4096-ptr_max
PARAM_VALUE 0 *sfp->media 0-5
PARAM_VALUE 1 portspeed 1-u32max
DATA_SOURCE 0 sfp $0
RX_PATH
TASK_NOT_RUNNING

drivers/scsi/bfa/bfa_ioc.c bfa_sfp_speed() -> bfa_sfp_speed_valid()

Type Parameter Key Value
PARAM_VALUE 0 sfp 4096-ptr_max
PARAM_VALUE 0 sfp->ioc 4096-ptr_max
PARAM_VALUE 0 sfp->ioc->attr 4096-ptr_max
PARAM_VALUE 0 sfp->ioc->attr->card_type 0-803,805-806,808-901,903-1006,1008-1740,1742-1866,1868,1870-u32max
PARAM_VALUE 0 sfp->ioc->fsm 4096-ptr_max
PARAM_VALUE 0 sfp->is_elb 0
PARAM_VALUE 0 sfp->state 3-4,6-255
DATA_SOURCE 0 sfp $0
DATA_SOURCE 1 portspeed $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &bfad->bfad_lock
LOCK2 flags
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct bfad_s)->bfad_lock