Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/net/ethernet/meta/fbnic/fbnic_fw.c fbnic_mbx_reset_desc_ring() -> fbnic_wrfl()

Type Parameter Key Value
PARAM_VALUE 0 fbd 4096-ptr_max
PARAM_VALUE 0 fbd->dev->dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 fbd->fw_reporter->burst_period 0-s64max
PARAM_VALUE 0 fbd->fw_reporter->dump_real_ts 0-s64max
PARAM_VALUE 0 fbd->fw_reporter->dump_ts 0-s64max
PARAM_VALUE 0 fbd->fw_reporter->error_count 0-s64max
PARAM_VALUE 0 fbd->fw_reporter->graceful_period 0-s64max
PARAM_VALUE 0 fbd->fw_reporter->health_state 0-255
PARAM_VALUE 0 fbd->fw_reporter->last_recovery_ts 0-s64max
PARAM_VALUE 0 fbd->fw_reporter->recovery_count 0-s64max
PARAM_VALUE 0 fbd->mac->get_eth_ctrl_stats 4261181610207076352
PARAM_VALUE 0 fbd->mac->get_eth_mac_stats 3290386805554442240
PARAM_VALUE 0 fbd->mac->get_fec_stats 3676484134554521600
PARAM_VALUE 0 fbd->mac->get_link 2522778047849771008
PARAM_VALUE 0 fbd->mac->get_link_event 3822213427729780736
PARAM_VALUE 0 fbd->mac->get_pause_stats 7780547122057314304
PARAM_VALUE 0 fbd->mac->get_pcs_stats 7700767459908743168
PARAM_VALUE 0 fbd->mac->get_rmon_stats 1974047852114022400
PARAM_VALUE 0 fbd->mac->get_sensor 7201553899718569984
PARAM_VALUE 0 fbd->mac->init_regs 7750535783315251200
PARAM_VALUE 0 fbd->mac->link_down 3074944342695354368
PARAM_VALUE 0 fbd->mac->link_up 7867787319019593728
PARAM_VALUE 0 fbd->mac->prepare 1291118527101566976
PARAM_VALUE 0 fbd->netdev->rtnl_link_ops->priv_size 0,8,32,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3544,3720,9688-s64max
PARAM_VALUE 0 fbd->otp_reporter->burst_period 0-s64max
PARAM_VALUE 0 fbd->otp_reporter->dump_real_ts 0-s64max
PARAM_VALUE 0 fbd->otp_reporter->dump_ts 0-s64max
PARAM_VALUE 0 fbd->otp_reporter->error_count 0-s64max
PARAM_VALUE 0 fbd->otp_reporter->graceful_period 0-s64max
PARAM_VALUE 0 fbd->otp_reporter->health_state 0-255
PARAM_VALUE 0 fbd->otp_reporter->last_recovery_ts 0-s64max
PARAM_VALUE 0 fbd->otp_reporter->recovery_count 0-s64max
BUF_SIZE 0 fbd s32min-(-1),1-s32max
BUF_SIZE 0 fbd s32min-(-1),1-s32max
DATA_SOURCE 0 fbd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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_irq.c fbnic_mac_free_irq() -> fbnic_wrfl()

Type Parameter Key Value
PARAM_VALUE 0 fbd 4096-ptr_max
PARAM_VALUE 0 fbd->mac_msix_vector 1-u32max
DATA_SOURCE 0 fbd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &netdev->lock
HALF_LOCKED2 &rdev->wiphy.mtx
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/meta/fbnic/fbnic_irq.c fbnic_msix_test() -> fbnic_wrfl()

Type Parameter Key Value
PARAM_VALUE 0 fbd 4096-ptr_max
PARAM_VALUE 0 fbd->num_irqs 3-u16max
CAPPED_DATA 0 fbd->num_irqs 1
DATA_SOURCE 0 fbd $0
NOCHECK_CALL

drivers/net/ethernet/meta/fbnic/fbnic_irq.c fbnic_msix_test() -> fbnic_wrfl()

Type Parameter Key Value
PARAM_VALUE 0 fbd 4096-ptr_max
PARAM_VALUE 0 fbd->num_irqs 3-u16max
CAPPED_DATA 0 fbd->num_irqs 1
DATA_SOURCE 0 fbd $0
NOCHECK_CALL

drivers/net/ethernet/meta/fbnic/fbnic_irq.c fbnic_msix_test() -> fbnic_wrfl()

Type Parameter Key Value
PARAM_VALUE 0 fbd 4096-ptr_max
PARAM_VALUE 0 fbd->num_irqs 3-u16max
CAPPED_DATA 0 fbd->num_irqs 1
DATA_SOURCE 0 fbd $0
NOCHECK_CALL

drivers/net/ethernet/meta/fbnic/fbnic_irq.c fbnic_msix_test() -> fbnic_wrfl()

Type Parameter Key Value
PARAM_VALUE 0 fbd 4096-ptr_max
PARAM_VALUE 0 fbd->num_irqs 3-u16max
CAPPED_DATA 0 fbd->num_irqs 1
DATA_SOURCE 0 fbd $0
NOCHECK_CALL

drivers/net/ethernet/meta/fbnic/fbnic_irq.c fbnic_msix_test() -> fbnic_wrfl()

Type Parameter Key Value
PARAM_VALUE 0 fbd 4096-ptr_max
PARAM_VALUE 0 fbd->num_irqs 3-u16max
CAPPED_DATA 0 fbd->num_irqs 1
DATA_SOURCE 0 fbd $0
NOCHECK_CALL

drivers/net/ethernet/meta/fbnic/fbnic_irq.c fbnic_msix_test() -> fbnic_wrfl()

Type Parameter Key Value
PARAM_VALUE 0 fbd 4096-ptr_max
PARAM_VALUE 0 fbd->num_irqs 3-u16max
CAPPED_DATA 0 fbd->num_irqs 1
DATA_SOURCE 0 fbd $0
NOCHECK_CALL

drivers/net/ethernet/meta/fbnic/fbnic_irq.c fbnic_msix_test() -> fbnic_wrfl()

Type Parameter Key Value
PARAM_VALUE 0 fbd 4096-ptr_max
PARAM_VALUE 0 fbd->num_irqs 3-u16max
CAPPED_DATA 0 fbd->num_irqs 1
DATA_SOURCE 0 fbd $0
NOCHECK_CALL

drivers/net/ethernet/meta/fbnic/fbnic_irq.c fbnic_msix_test() -> fbnic_wrfl()

Type Parameter Key Value
PARAM_VALUE 0 fbd 4096-ptr_max
PARAM_VALUE 0 fbd->num_irqs 3-u16max
CAPPED_DATA 0 fbd->num_irqs 1
DATA_SOURCE 0 fbd $0
NOCHECK_CALL

drivers/net/ethernet/meta/fbnic/fbnic_rpc.c fbnic_rss_reinit_hw() -> fbnic_wrfl()

Type Parameter Key Value
PARAM_VALUE 0 fbd 4096-ptr_max
PARAM_VALUE 0 fbd->netdev->rtnl_link_ops->priv_size 0,8,32,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3544,3720,9688-u64max
DATA_SOURCE 0 fbd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 fbd->ptp->kworker->task->dl.pi_se->dl_runtime
HALF_LOCKED2 &netdev->ethtool->rss_lock

drivers/net/ethernet/meta/fbnic/fbnic_rpc.c fbnic_update_act_tcam() -> fbnic_wrfl()

Type Parameter Key Value
PARAM_VALUE 0 fbd 4096-ptr_max
PARAM_VALUE 0 fbd->act_tcam 4096-ptr_max
PARAM_VALUE 0 fbd->hw_stats.hw_q->rde_pkt_bdq_drop.u.old_reg_value_32 0-4294967295
PARAM_VALUE 0 fbd->hw_stats.hw_q->rde_pkt_cq_drop.u.old_reg_value_32 0-4294967295
PARAM_VALUE 0 fbd->hw_stats.hw_q->rde_pkt_err.u.old_reg_value_32 0-4294967295
PARAM_VALUE 0 fbd->mac->get_fec_stats 4096-ptr_max
PARAM_VALUE 0 fbd->mac->get_pcs_stats 4096-ptr_max
PARAM_VALUE 0 fbd->netdev->ethtool_ops->supported_coalesce_params 0-3,17,19,34-35,48,51,59,63,204,236,273,511,513,529,547,561,563,595,597,1553,1587,1681,132625,135697,657041,677393,2029107,2097665,2300433,2300595,3653155,12583935,12584499,13239859,117440512,536872499,s32max
PARAM_VALUE 0 fbd->netdev->rtnl_link_ops->priv_size 0,8,32,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3544,3720,9688-u64max
DATA_SOURCE 0 fbd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &netdev->ethtool->rss_lock
HALF_LOCKED2 0 &fbd->netdev->addr_list_lock

drivers/net/ethernet/meta/fbnic/fbnic_rpc.c fbnic_write_ip_dst_entry() -> fbnic_wrfl()

Type Parameter Key Value
PARAM_VALUE 0 fbd 4096-ptr_max
PARAM_VALUE 0 fbd->ip_dst 4096-ptr_max
PARAM_VALUE 0 fbd->ip_src 4096-ptr_max
DATA_SOURCE 0 fbd $0
NOCHECK_CALL

drivers/net/ethernet/meta/fbnic/fbnic_rpc.c fbnic_write_ip_outer_dst_entry() -> fbnic_wrfl()

Type Parameter Key Value
PARAM_VALUE 0 fbd 4096-ptr_max
PARAM_VALUE 0 fbd->ip_dst 4096-ptr_max
PARAM_VALUE 0 fbd->ip_src 4096-ptr_max
PARAM_VALUE 0 fbd->ipo_dst 4096-ptr_max
PARAM_VALUE 0 fbd->ipo_src 4096-ptr_max
DATA_SOURCE 0 fbd $0
NOCHECK_CALL

drivers/net/ethernet/meta/fbnic/fbnic_rpc.c fbnic_write_ip_outer_src_entry() -> fbnic_wrfl()

Type Parameter Key Value
PARAM_VALUE 0 fbd 4096-ptr_max
PARAM_VALUE 0 fbd->ip_dst 4096-ptr_max
PARAM_VALUE 0 fbd->ip_src 4096-ptr_max
PARAM_VALUE 0 fbd->ipo_src 4096-ptr_max
DATA_SOURCE 0 fbd $0
NOCHECK_CALL

drivers/net/ethernet/meta/fbnic/fbnic_rpc.c fbnic_write_ip_src_entry() -> fbnic_wrfl()

Type Parameter Key Value
PARAM_VALUE 0 fbd 4096-ptr_max
PARAM_VALUE 0 fbd->ip_src 4096-ptr_max
DATA_SOURCE 0 fbd $0
NOCHECK_CALL

drivers/net/ethernet/meta/fbnic/fbnic_rpc.c fbnic_write_macda_entry() -> fbnic_wrfl()

Type Parameter Key Value
PARAM_VALUE 0 fbd 4096-ptr_max
PARAM_VALUE 0 fbd->hw_stats.hw_q->rde_pkt_bdq_drop.u.old_reg_value_32 0-4294967295
PARAM_VALUE 0 fbd->hw_stats.hw_q->rde_pkt_cq_drop.u.old_reg_value_32 0-4294967295
PARAM_VALUE 0 fbd->hw_stats.hw_q->rde_pkt_err.u.old_reg_value_32 0-4294967295
PARAM_VALUE 0 fbd->mac->get_fec_stats 4096-ptr_max
PARAM_VALUE 0 fbd->mac->get_pcs_stats 4096-ptr_max
PARAM_VALUE 0 fbd->mac_addr 4096-ptr_max
PARAM_VALUE 0 fbd->netdev->ethtool_ops->supported_coalesce_params 0-3,17,19,34-35,48,51,59,63,204,236,273,511,513,529,547,561,563,595,597,1553,1587,1681,132625,135697,657041,677393,2029107,2097665,2300433,2300595,3653155,12583935,12584499,13239859,117440512,536872499,s32max
PARAM_VALUE 0 fbd->netdev->rtnl_link_ops->priv_size 0,8,32,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3544,3720,9688-u64max
DATA_SOURCE 0 fbd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &fbd->netdev->addr_list_lock

drivers/net/ethernet/meta/fbnic/fbnic_rpc.c fbnic_write_tce_tcam_entry() -> fbnic_wrfl()

Type Parameter Key Value
PARAM_VALUE 0 fbd 4096-ptr_max
PARAM_VALUE 0 fbd->dev->dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 fbd->dev->iommu_group->default_domain 0-s64max
PARAM_VALUE 0 fbd->fw_cap.need_bmc_macda_sync 1
PARAM_VALUE 0 fbd->fw_reporter->auto_recover 0-1
PARAM_VALUE 0 fbd->fw_reporter->health_state 0-255
PARAM_VALUE 0 fbd->hw_stats.hw_q->rde_pkt_bdq_drop.u.old_reg_value_32 0-4294967295
PARAM_VALUE 0 fbd->hw_stats.hw_q->rde_pkt_cq_drop.u.old_reg_value_32 0-4294967295
PARAM_VALUE 0 fbd->hw_stats.hw_q->rde_pkt_err.u.old_reg_value_32 0-4294967295
PARAM_VALUE 0 fbd->mac->get_fec_stats 4096-ptr_max
PARAM_VALUE 0 fbd->mac->get_link 4096-ptr_max
PARAM_VALUE 0 fbd->mac->get_pcs_stats 4096-ptr_max
PARAM_VALUE 0 fbd->mac->get_sensor 4096-ptr_max
PARAM_VALUE 0 fbd->mac->init_regs 4096-ptr_max
PARAM_VALUE 0 fbd->mac->link_down 4096-ptr_max
PARAM_VALUE 0 fbd->mac->link_up 4096-ptr_max
PARAM_VALUE 0 fbd->mac->prepare 4096-ptr_max
PARAM_VALUE 0 fbd->mac_addr 4096-ptr_max
PARAM_VALUE 0 fbd->netdev 4096-ptr_max
PARAM_VALUE 0 fbd->netdev->dev_addr 4096-ptr_max
PARAM_VALUE 0 fbd->netdev->ethtool_ops->supported_coalesce_params 0-3,17,19,34-35,48,51,59,63,204,236,273,511,513,529,547,561,563,595,597,1553,1587,1681,132625,135697,657041,677393,2029107,2097665,2300433,2300595,3653155,12583935,12584499,13239859,117440512,536872499,s32max
PARAM_VALUE 0 fbd->netdev->rtnl_link_ops->priv_size 0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3552,9688-u64max
PARAM_VALUE 0 fbd->otp_reporter->auto_recover 0-1
PARAM_VALUE 0 fbd->otp_reporter->health_state 0-255
DATA_SOURCE 0 fbd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fbn->netdev->addr_list_lock
HALF_LOCKED2 &netdev->addr_list_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 bh
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 0 &fbd->netdev->addr_list_lock

drivers/net/ethernet/meta/fbnic/fbnic_txrx.c __fbnic_nv_restart() -> fbnic_wrfl()

Type Parameter Key Value
PARAM_VALUE 0 fbd 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->lock

drivers/net/ethernet/meta/fbnic/fbnic_txrx.c fbnic_disable() -> fbnic_wrfl()

Type Parameter Key Value
PARAM_VALUE 0 fbd 4096-ptr_max
PARAM_VALUE 0 fbd->fw_cap.need_bmc_macda_sync 1
PARAM_VALUE 0 fbd->netdev 4096-ptr_max
PARAM_VALUE 0 fbd->uc_addr0 0
PARAM_VALUE 0 fbd->uc_addr4 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/meta/fbnic/fbnic_txrx.c fbnic_enable() -> fbnic_wrfl()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/meta/fbnic/fbnic_txrx.c fbnic_napi_depletion_check() -> fbnic_wrfl()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 &netdev->lock
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct net_device)->lock

drivers/net/ethernet/meta/fbnic/fbnic_txrx.c fbnic_napi_enable() -> fbnic_wrfl()

Type Parameter Key Value
PARAM_VALUE 0 fbd 4096-ptr_max
PARAM_VALUE 0 fbd->fw_cap.need_bmc_macda_sync 1
PARAM_VALUE 0 fbd->netdev 4096-ptr_max
PARAM_VALUE 0 fbd->uc_addr0 0
PARAM_VALUE 0 fbd->uc_addr4 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/meta/fbnic/fbnic_txrx.c fbnic_nv_disable() -> fbnic_wrfl()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->lock

drivers/net/ethernet/meta/fbnic/fbnic_txrx.c fbnic_nv_enable() -> fbnic_wrfl()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->lock

drivers/net/ethernet/meta/fbnic/fbnic_mac.c fbnic_mac_get_link() -> fbnic_wrfl()

Type Parameter Key Value
PARAM_VALUE 0 fbd 4096-ptr_max
PARAM_VALUE 0 fbd->mac 4096-ptr_max
PARAM_VALUE 0 fbd->mac->get_link 4096-ptr_max
PARAM_VALUE 0 fbd->mac->get_sensor 4096-ptr_max
PARAM_VALUE 0 fbd->mac->init_regs 4096-ptr_max
PARAM_VALUE 0 fbd->mac->link_down 4096-ptr_max
PARAM_VALUE 0 fbd->mac->link_up 4096-ptr_max
PARAM_VALUE 0 fbd->mac->prepare 4096-ptr_max
DATA_SOURCE 0 fbd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/meta/fbnic/fbnic_mac.c fbnic_mac_init_txb() -> fbnic_wrfl()

Type Parameter Key Value
PARAM_VALUE 0 fbd 4096-ptr_max
PARAM_VALUE 0 fbd->mac 4096-ptr_max
PARAM_VALUE 0 fbd->mac->get_link 4096-ptr_max
PARAM_VALUE 0 fbd->mac->get_sensor 4096-ptr_max
PARAM_VALUE 0 fbd->mac->init_regs 4096-ptr_max
PARAM_VALUE 0 fbd->mac->link_down 4096-ptr_max
PARAM_VALUE 0 fbd->mac->link_up 4096-ptr_max
PARAM_VALUE 0 fbd->mac->prepare 4096-ptr_max
PARAM_VALUE 0 fbd->uc_addr0 0
PARAM_VALUE 0 fbd->uc_addr4 0
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
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 fbd->dsn 0[c]
HOST_DATA 0 fbd->relaxed_ord 0[c]

drivers/net/ethernet/meta/fbnic/fbnic_mac.c fbnic_mac_ps_protect_to_reset() -> fbnic_wrfl()

Type Parameter Key Value
PARAM_VALUE 0 fbd 4096-ptr_max
PARAM_VALUE 0 fbd->hw_stats.hw_q->rde_pkt_bdq_drop.u.old_reg_value_32 0-4294967295
PARAM_VALUE 0 fbd->hw_stats.hw_q->rde_pkt_cq_drop.u.old_reg_value_32 0-4294967295
PARAM_VALUE 0 fbd->hw_stats.hw_q->rde_pkt_err.u.old_reg_value_32 0-4294967295
PARAM_VALUE 0 fbd->mac->get_fec_stats 4096-ptr_max
PARAM_VALUE 0 fbd->mac->get_link 4096-ptr_max
PARAM_VALUE 0 fbd->mac->get_pcs_stats 4096-ptr_max
PARAM_VALUE 0 fbd->mac->get_sensor 4096-ptr_max
PARAM_VALUE 0 fbd->mac->init_regs 4096-ptr_max
PARAM_VALUE 0 fbd->mac->link_down 4096-ptr_max
PARAM_VALUE 0 fbd->mac->link_up 4096-ptr_max
PARAM_VALUE 0 fbd->mac->prepare 4096-ptr_max
PARAM_VALUE 0 fbd->uc_addr0 0
PARAM_VALUE 0 fbd->uc_addr4 0
DATA_SOURCE 0 fbd $0
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex