Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/meta/fbnic/fbnic_pci.c __fbnic_pm_attach() -> fbnic_init_failure()

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
CAPPED_DATA 0 fbd->max_num_queues 1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 fbd->hw_stats.mac.eth_ctrl.MACControlFramesReceived.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.mac.eth_ctrl.MACControlFramesTransmitted.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.mac.eth_mac.AlignmentErrors.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.mac.eth_mac.BroadcastFramesReceivedOK.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.mac.eth_mac.BroadcastFramesXmittedOK.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.mac.eth_mac.FrameCheckSequenceErrors.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.mac.eth_mac.FrameTooLongErrors.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.mac.eth_mac.FramesLostDueToIntMACRcvError.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.mac.eth_mac.FramesLostDueToIntMACXmitError.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.mac.eth_mac.FramesReceivedOK.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.mac.eth_mac.FramesTransmittedOK.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.mac.eth_mac.MulticastFramesReceivedOK.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.mac.eth_mac.MulticastFramesXmittedOK.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.mac.eth_mac.OctetsReceivedOK.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.mac.eth_mac.OctetsTransmittedOK.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.mac.pause.rx_pause_frames.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.mac.pause.tx_pause_frames.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.mac.rmon.fragments.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.mac.rmon.jabbers.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.mac.rmon.oversize_pkts.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.mac.rmon.undersize_pkts.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.pcie.ob_cpl_dword.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.pcie.ob_cpl_tlp.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.pcie.ob_rd_dword.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.pcie.ob_rd_no_cpl_cred.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.pcie.ob_rd_no_np_cred.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.pcie.ob_rd_no_tag.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.pcie.ob_rd_tlp.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.pcie.ob_wr_dword.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.pcie.ob_wr_tlp.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.tmi.drop.bytes.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.tti.cm_drop.bytes.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.tti.frame_drop.bytes.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.tti.tbi_drop.bytes.u.old_reg_value_64 0-u64max
UNITS 0 fbd unit_byte

drivers/net/ethernet/meta/fbnic/fbnic_pci.c __fbnic_pm_resume() -> fbnic_init_failure()

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
CAPPED_DATA 0 fbd 1
CAPPED_DATA 0 &fbd->fw_log.entries 1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 fbd unit_byte

drivers/net/ethernet/meta/fbnic/fbnic_pci.c fbnic_fw_rd32() -> fbnic_init_failure()

Type Parameter Key Value
PARAM_VALUE 0 fbd 4096-ptr_max
BUF_SIZE 0 fbd s32min-(-1),1-s32max
BUF_SIZE 0 fbd s32min-(-1),1-s32max
DATA_SOURCE 0 fbd $0
STR_LEN 0 fbd (-1),27,30,38
STR_LEN 0 fbd (-1),27,30,38
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
HALF_LOCKED2 0 &fbd->fw_tx_lock

drivers/net/ethernet/meta/fbnic/fbnic_pci.c fbnic_pm_suspend() -> fbnic_init_failure()

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
RX_PATH
TASK_NOT_RUNNING
UNITS 0 fbd unit_byte
HALF_LOCKED2 &dev->mutex

drivers/net/ethernet/meta/fbnic/fbnic_pci.c fbnic_rd32() -> fbnic_init_failure()

Type Parameter Key Value
PARAM_VALUE 0 fbd 4096-ptr_max
BUF_SIZE 0 fbd s32min-(-1),1-s32max
BUF_SIZE 0 fbd s32min-(-1),1-s32max
BUF_SIZE 0 fbd->mac (-1),104
DATA_SOURCE 0 fbd $0
STR_LEN 0 fbd (-1)
STR_LEN 0 fbd (-1)
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 fbd->dsn 0[c]
HOST_DATA 0 fbd->hw_stats.pcie.ob_cpl_dword.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.pcie.ob_cpl_tlp.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.pcie.ob_rd_dword.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.pcie.ob_rd_no_cpl_cred.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.pcie.ob_rd_no_np_cred.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.pcie.ob_rd_no_tag.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.pcie.ob_rd_tlp.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.pcie.ob_wr_dword.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.pcie.ob_wr_tlp.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.rpc.ipv4_esp.u.old_reg_value_32 0-u32max
HOST_DATA 0 fbd->hw_stats.rpc.ipv4_frag.u.old_reg_value_32 0-u32max
HOST_DATA 0 fbd->hw_stats.rpc.ipv6_esp.u.old_reg_value_32 0-u32max
HOST_DATA 0 fbd->hw_stats.rpc.ipv6_frag.u.old_reg_value_32 0-u32max
HOST_DATA 0 fbd->hw_stats.rpc.out_of_hdr_err.u.old_reg_value_32 0-u32max
HOST_DATA 0 fbd->hw_stats.rpc.ovr_size_err.u.old_reg_value_32 0-u32max
HOST_DATA 0 fbd->hw_stats.rpc.tcp_opt_err.u.old_reg_value_32 0-u32max
HOST_DATA 0 fbd->hw_stats.rpc.unkn_etype.u.old_reg_value_32 0-u32max
HOST_DATA 0 fbd->hw_stats.rpc.unkn_ext_hdr.u.old_reg_value_32 0-u32max
HOST_DATA 0 fbd->hw_stats.tmi.drop.bytes.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.tmi.drop.frames.u.old_reg_value_32 0-u32max
HOST_DATA 0 fbd->hw_stats.tmi.ptp_bad_ts.u.old_reg_value_32 0-u32max
HOST_DATA 0 fbd->hw_stats.tmi.ptp_good_ts.u.old_reg_value_32 0-u32max
HOST_DATA 0 fbd->hw_stats.tmi.ptp_illegal_req.u.old_reg_value_32 0-u32max
HOST_DATA 0 fbd->hw_stats.tti.cm_drop.bytes.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.tti.cm_drop.frames.u.old_reg_value_32 0-u32max
HOST_DATA 0 fbd->hw_stats.tti.frame_drop.bytes.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.tti.frame_drop.frames.u.old_reg_value_32 0-u32max
HOST_DATA 0 fbd->hw_stats.tti.tbi_drop.bytes.u.old_reg_value_64 0-u64max
HOST_DATA 0 fbd->hw_stats.tti.tbi_drop.frames.u.old_reg_value_32 0-u32max
HOST_DATA 0 fbd->relaxed_ord 0[c]
HALF_LOCKED2 &fbd->time_lock
HALF_LOCKED2 &pl->phydev_mutex
HALF_LOCKED2 &pl->state_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 flags
HALF_LOCKED2 0 &fbd->hw_stats.lock
HALF_LOCKED2 0 &fbd->netdev->addr_list_lock
HALF_LOCKED2 0 &fbd->time_lock

drivers/net/ethernet/meta/fbnic/fbnic_pci.c fbnic_remove() -> fbnic_init_failure()

Type Parameter Key Value
BUF_SIZE 0 fbd s32min-(-2),1-s32max
BUF_SIZE 0 fbd s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 fbd unit_byte