Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/wangxun/libwx/wx_sriov.c wx_ping_all_vfs_with_link_status() -> wx_write_mbx_pf()

Type Parameter Key Value
PARAM_VALUE 0 wx 4096-ptr_max
PARAM_VALUE 0 wx->num_vfs 1-u32max
PARAM_VALUE 0 wx->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 wx->phydev->devlink->link_dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 wx->phydev->devlink->link_dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 wx->phydev->mdio.dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 wx->state 4096-ptr_max
PARAM_VALUE 0 wx->vfinfo 4096-ptr_max
PARAM_VALUE 0 *wx->tpid 0-u16max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 2 size 2
BUF_SIZE 1 msg 8
CAPPED_DATA 3 vf 1
DATA_SOURCE 0 wx $0
PARAM_COMPARE 3 vf < $0->num_vfs
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 wx->hw_tc.cycle_last 0-u64max
HOST_DATA 0 wx->hw_tc.nsec 0-u64max
HOST_DATA 0 wx->pps_edge_end 0-u32max
HOST_DATA 0 wx->pps_edge_start 0-u32max
NO_OVERFLOW_SIMPLE 0 wx->phydev->attached_dev->group
NO_OVERFLOW_SIMPLE 0 wx->phydev->attached_dev->proto_down
NO_OVERFLOW_SIMPLE 0 wx->phydev->attached_dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE 0 wx->phydev->attached_dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE 0 wx->phydev->attached_dev->tx_queue_len
NO_OVERFLOW_SIMPLE 0 wx->ptp_clock->info->n_pins
NO_OVERFLOW_SIMPLE 0 wx->ptp_clock->kworker->task->dl.pi_se->dl_runtime
UNITS 3 vf unit_array_size
HALF_LOCKED2 &pl->phydev_mutex
HALF_LOCKED2 &pl->state_mutex
HALF_LOCKED2 0 &wx->reset_lock

drivers/net/ethernet/wangxun/libwx/wx_sriov.c wx_ping_vf() -> wx_write_mbx_pf()

Type Parameter Key Value
PARAM_VALUE 0 wx 4096-ptr_max
PARAM_VALUE 0 wx->flags 4096-ptr_max
PARAM_VALUE 0 wx->netdev->ethtool->rss_indir_user_size 0-s32max
PARAM_VALUE 0 wx->num_vfs 1-u32max
PARAM_VALUE 0 wx->pdev 4096-ptr_max
PARAM_VALUE 0 wx->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 wx->pdev->dev.kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 wx->pdev->dev.kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 wx->pdev->dev.kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 wx->ptp_clock->defunct s32min-s32max
PARAM_VALUE 0 wx->ptp_clock->max_vclocks 0-4294967295
PARAM_VALUE 0 wx->ptp_clock->n_vclocks 0-4294967295
PARAM_VALUE 0 wx->service_timer.entry.pprev 0,4096-ptr_max
PARAM_VALUE 0 wx->state 4096-ptr_max
PARAM_VALUE 0 wx->vfinfo 4096-ptr_max
PARAM_VALUE 0 *wx->last_stats.qmprc 0-4294967295
PARAM_VALUE 0 *wx->mac.addr 0-255
PARAM_VALUE 0 *wx->mac.perm_addr 0-255
PARAM_VALUE 0 *wx->mac.vft_shadow 0-4294967295
PARAM_VALUE 0 *wx->ptp_caps.name 0-255
PARAM_VALUE 0 *wx->rss_indir_tbl 0-255
PARAM_VALUE 0 *wx->tpid 0-u16max
PARAM_VALUE 1 msg 394025720179097600
PARAM_VALUE 1 *msg 256,536871168
PARAM_VALUE 2 size 1
BUF_SIZE 0 wx s32min-(-1),1-s32max
BUF_SIZE 0 wx s32min-(-1),1-s32max
CAPPED_DATA 0 wx->num_q_vectors 1
CAPPED_DATA 0 wx->num_rx_queues 1
CAPPED_DATA 3 vf 1
DATA_SOURCE 0 wx $0
DATA_SOURCE 3 vf $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 wx->hw_tc.cycle_last 0-u64max
HOST_DATA 0 wx->hw_tc.nsec 0-u64max
HOST_DATA 0 wx->pps_edge_end 0-u32max
HOST_DATA 0 wx->pps_edge_start 0-u32max
NO_OVERFLOW_SIMPLE 0 wx->priv->misc.domain->hwirq_max
NO_OVERFLOW_SIMPLE 0 wx->priv->misc.domain->revmap_size
NO_OVERFLOW_SIMPLE 0 wx->priv->misc.domain->root->hwirq_max
NO_OVERFLOW_SIMPLE 0 wx->priv->misc.domain->root->revmap_size
NO_OVERFLOW_SIMPLE 0 wx->ptp_clock->info->n_pins
UNITS 0 wx unit_byte
UNITS 3 vf unit_array_size
HALF_LOCKED2 0 &wx->reset_lock

drivers/net/ethernet/wangxun/libwx/wx_sriov.c wx_rcv_ack_from_vf() -> wx_write_mbx_pf()

Type Parameter Key Value
PARAM_VALUE 0 wx 4096-ptr_max
PARAM_VALUE 0 wx->isb_mem 4096-ptr_max
PARAM_VALUE 0 wx->num_vfs 1-u32max
PARAM_VALUE 0 wx->vfinfo 4096-ptr_max
PARAM_VALUE 0 *wx->isb_tag 0-4294967295
PARAM_VALUE 0 *wx->mac.mta_shadow 0-4294967295
PARAM_VALUE 0 *wx->mac.vft_shadow 0-4294967295
PARAM_VALUE 1 msg 5976380731743326208
PARAM_VALUE 1 *msg 1073741824
PARAM_VALUE 2 size 1
CAPPED_DATA 3 vf 1
DATA_SOURCE 0 wx $0
DATA_SOURCE 3 vf $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 vf unit_array_size
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags

drivers/net/ethernet/wangxun/libwx/wx_sriov.c wx_rcv_msg_from_vf() -> wx_write_mbx_pf()

Type Parameter Key Value
PARAM_VALUE 0 wx 4096-ptr_max
PARAM_VALUE 0 wx->isb_mem 4096-ptr_max
PARAM_VALUE 0 wx->num_vfs 1-u32max
PARAM_VALUE 0 wx->vfinfo 4096-ptr_max
PARAM_VALUE 0 *wx->isb_tag 0-4294967295
PARAM_VALUE 0 *wx->mac.mta_shadow 0-4294967295
PARAM_VALUE 0 *wx->mac.vft_shadow 0-4294967295
PARAM_VALUE 1 msg 8719713734680166400
PARAM_VALUE 2 size 1
BUF_SIZE 1 msg 60
CAPPED_DATA 3 vf 1
DATA_SOURCE 0 wx $0
DATA_SOURCE 3 vf $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 vf unit_array_size
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags

drivers/net/ethernet/wangxun/libwx/wx_sriov.c wx_rcv_msg_from_vf() -> wx_write_mbx_pf()

Type Parameter Key Value
PARAM_VALUE 0 wx 4096-ptr_max
PARAM_VALUE 0 wx->isb_mem 4096-ptr_max
PARAM_VALUE 0 wx->num_vfs 1-u32max
PARAM_VALUE 0 wx->vfinfo 4096-ptr_max
PARAM_VALUE 0 *wx->eeprom_id 0-255
PARAM_VALUE 0 *wx->isb_tag 0-4294967295
PARAM_VALUE 0 *wx->mac.mta_shadow 0-4294967295
PARAM_VALUE 0 *wx->mac.vft_shadow 0-4294967295
PARAM_VALUE 1 msg 8719713734680166400
PARAM_VALUE 2 size 15
BUF_SIZE 1 msg 60
CAPPED_DATA 3 vf 1
DATA_SOURCE 0 wx $0
DATA_SOURCE 3 vf $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 vf unit_array_size
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags

drivers/net/ethernet/wangxun/libwx/wx_sriov.c wx_vf_reset_msg() -> wx_write_mbx_pf()

Type Parameter Key Value
PARAM_VALUE 0 wx 4096-ptr_max
PARAM_VALUE 0 wx->isb_mem 4096-ptr_max
PARAM_VALUE 0 wx->netdev 4096-ptr_max
PARAM_VALUE 0 wx->netdev->priv->addr_ctrl.mta_in_use 0-4294967295
PARAM_VALUE 0 wx->netdev->priv->addr_ctrl.num_mc_addrs 0-4294967295
PARAM_VALUE 0 wx->netdev->priv->addr_ctrl.user_set_promisc 0-1
PARAM_VALUE 0 wx->num_vfs 1-u32max
PARAM_VALUE 0 wx->pdev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 wx->pdev->dev.class 0,4096-ptr_max
PARAM_VALUE 0 wx->pdev->dev.driver 0,4096-ptr_max
PARAM_VALUE 0 wx->vfinfo 4096-ptr_max
PARAM_VALUE 0 *wx->isb_tag 0-4294967295
PARAM_VALUE 0 *wx->mac.mta_shadow 0-4294967295
PARAM_VALUE 0 *wx->mac.vft_shadow 0-4294967295
PARAM_VALUE 0 *wx->netdev->priv->mac.mta_shadow 0-4294967295
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 2 size 4
BUF_SIZE 1 msg 20
CAPPED_DATA 3 vf 1
DATA_SOURCE 0 wx $0
DATA_SOURCE 3 vf $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 vf unit_array_size
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags