Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/ethernet/wangxun/libwx/wx_mbx.c wx_write_mbx_pf() -> wx_check_for_ack_pf()

Type Parameter Key Value
PARAM_VALUE 0 wx 4096-ptr_max
PARAM_VALUE 0 wx->mbx.size 1-u16max
PARAM_VALUE 0 wx->num_vfs 1-u32max
PARAM_VALUE 0 wx->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 wx->vfinfo 4096-ptr_max
PARAM_VALUE 0 *wx->isb_tag 0-4294967295
PARAM_VALUE 0 *wx->last_stats.qmprc 0-4294967295
PARAM_VALUE 0 *wx->mac.addr 0-255
PARAM_VALUE 0 *wx->mac.mta_shadow 0-4294967295
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
BUF_SIZE 0 wx s32min-(-1),1-s32max
BUF_SIZE 0 wx s32min-(-1),1-s32max
CAPPED_DATA 1 vf 1
DATA_SOURCE 0 wx $0
DATA_SOURCE 1 vf $3
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 1 vf unit_array_size
HALF_LOCKED2 0 &wx->reset_lock

drivers/net/ethernet/wangxun/libwx/wx_sriov.c wx_msg_task() -> wx_check_for_ack_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->isb_tag 0-4294967295
PARAM_VALUE 0 *wx->mac.mta_shadow 0-4294967295
PARAM_VALUE 0 *wx->mac.vft_shadow 0-4294967295
CAPPED_DATA 1 vf 1
DATA_SOURCE 0 wx $0
PARAM_COMPARE 1 vf < $0->num_vfs
RX_PATH
TASK_NOT_RUNNING
UNITS 1 vf unit_array_size
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags