Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/broadcom/cnic.c cnic_close_conn() -> cnic_cm_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 csk 4096-ptr_max
PARAM_VALUE 0 csk->dev 4096-ptr_max
DATA_SOURCE 0 csk $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &hba->net_dev_lock
HALF_LOCKED2 rcu_read

drivers/net/ethernet/broadcom/cnic.c cnic_cm_destroy() -> cnic_cm_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 csk 4096-ptr_max
DATA_SOURCE 0 csk $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 csk->dst_port 0-u16max[u]
HALF_LOCKED2 &hba->net_dev_lock
HALF_LOCKED2 global &rx_queue_mutex
TYPE_LOCK (struct bnx2i_hba)->net_dev_lock

drivers/net/ethernet/broadcom/cnic.c cnic_cm_shutdown() -> cnic_cm_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 csk 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL