Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/meta/fbnic/fbnic_fw.c fbnic_fw_init_heartbeat() -> fbnic_fw_present()

Type Parameter Key Value
PARAM_VALUE 0 fbd 4096-ptr_max
DATA_SOURCE 0 fbd $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &netdev->lock
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/meta/fbnic/fbnic_fw.c fbnic_fw_mbx_self_test() -> fbnic_fw_present()

Type Parameter Key Value
DATA_SOURCE 0 fbd $0

drivers/net/ethernet/meta/fbnic/fbnic_fw.c fbnic_fw_xmit_fw_start_upgrade() -> fbnic_fw_present()

Type Parameter Key Value
PARAM_VALUE 0 fbd 4096-ptr_max
BUF_SIZE 0 fbd s32min-(-2),1-s32max
BUF_SIZE 0 fbd s32min-(-2),1-s32max
DATA_SOURCE 0 fbd $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 fbd unit_byte
HALF_LOCKED2 &devlink->lock

drivers/net/ethernet/meta/fbnic/fbnic_fw.c fbnic_fw_xmit_heartbeat_message() -> fbnic_fw_present()

Type Parameter Key Value
PARAM_VALUE 0 fbd 4096-ptr_max
DATA_SOURCE 0 fbd $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/meta/fbnic/fbnic_fw.c fbnic_fw_xmit_ownership_msg() -> fbnic_fw_present()

Type Parameter Key Value
PARAM_VALUE 0 fbd 4096-ptr_max
DATA_SOURCE 0 fbd $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 fbd unit_byte
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/meta/fbnic/fbnic_fw.c fbnic_fw_xmit_simple_msg() -> fbnic_fw_present()

Type Parameter Key Value
PARAM_VALUE 0 fbd 4096-ptr_max
PARAM_VALUE 0 fbd->uc_addr4 0
BUF_SIZE 0 fbd s32min-(-1),1-s32max
BUF_SIZE 0 fbd s32min-(-1),1-s32max
DATA_SOURCE 0 fbd $0
MEM_ZERO 0 &fbd->fw_cap
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 fbd->dsn 0[c]
HOST_DATA 0 fbd->relaxed_ord 0[c]
UNITS 0 fbd unit_byte

drivers/net/ethernet/meta/fbnic/fbnic_fw.c fbnic_fw_xmit_tsene_read_msg() -> fbnic_fw_present()

Type Parameter Key Value
PARAM_VALUE 0 fbd 4096-ptr_max
BUF_SIZE 0 fbd s32min-(-2),1-s32max
BUF_SIZE 0 fbd s32min-(-2),1-s32max
DATA_SOURCE 0 fbd $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &tz->lock

drivers/net/ethernet/meta/fbnic/fbnic_fw.c fbnic_mbx_map_msg() -> fbnic_fw_present()

Type Parameter Key Value
BUF_SIZE 0 fbd s32min-(-1),1-s32max
BUF_SIZE 0 fbd s32min-(-1),1-s32max
DATA_SOURCE 0 fbd $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 fbd->dsn 0[c]
HOST_DATA 0 fbd->relaxed_ord 0[c]
NO_OVERFLOW_SIMPLE 0 fbd->ptp->kworker->task->dl.pi_se->dl_runtime
UNITS 0 fbd unit_byte
HALF_LOCKED2 flags
HALF_LOCKED2 0 &fbd->fw_tx_lock

drivers/net/ethernet/meta/fbnic/fbnic_fw.c fbnic_mbx_poll_tx_ready() -> fbnic_fw_present()

Type Parameter Key Value
PARAM_VALUE 0 fbd 4096-ptr_max
PARAM_VALUE 0 fbd->uc_addr4 0
BUF_SIZE 0 fbd s32min-(-1),1-s32max
BUF_SIZE 0 fbd s32min-(-1),1-s32max
DATA_SOURCE 0 fbd $0
MEM_ZERO 0 &fbd->fw_cap
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 fbd->dsn 0[c]
HOST_DATA 0 fbd->relaxed_ord 0[c]
UNITS 0 fbd unit_byte