Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/brocade/bna/bna_enet.c bna_enet_sm_cfg_wait() -> bna_rx_mod_stop()

Type Parameter Key Value
PARAM_VALUE 0 rx_mod 4096-ptr_max
PARAM_VALUE 1 type 0-1
FUZZY_MAX 1 type 1
HARD_MAX 1 type 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/brocade/bna/bna_enet.c bna_enet_sm_chld_stop_wait_entry() -> bna_rx_mod_stop()

Type Parameter Key Value
PARAM_VALUE 0 rx_mod 4096-ptr_max
PARAM_VALUE 1 type 0-1
FUZZY_MAX 1 type 1
HARD_MAX 1 type 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &bnad->bna_lock
HALF_LOCKED2 &bnad->conf_mutex
HALF_LOCKED2 flags

drivers/net/ethernet/brocade/bna/bna_enet.c bna_enet_sm_started() -> bna_rx_mod_stop()

Type Parameter Key Value
PARAM_VALUE 0 rx_mod 4096-ptr_max
PARAM_VALUE 1 type 0-1
FUZZY_MAX 1 type 1
HARD_MAX 1 type 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &bnad->bna_lock
LOCK2 &bnad->conf_mutex
LOCK2 flags
TYPE_LOCK (struct bnad)->bna_lock
TYPE_LOCK (struct bnad)->conf_mutex