Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/fddi/defxx.c dfx_adap_init() -> dfx_rcv_init()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->cmd_req_reg.index.comp 0-15
PARAM_VALUE 0 bp->cmd_req_reg.index.prod 0-15
PARAM_VALUE 0 bp->cmd_req_reg.lword 0
PARAM_VALUE 0 bp->cmd_req_virt 4096-ptr_max
PARAM_VALUE 0 bp->cmd_req_virt->char_set.cmd_type 0
PARAM_VALUE 0 bp->cmd_req_virt->char_set.item 4096-ptr_max
PARAM_VALUE 0 bp->cmd_req_virt->cmd_type 1
PARAM_VALUE 0 bp->cmd_req_virt->cntrs_get.cmd_type 0
PARAM_VALUE 0 bp->cmd_req_virt->cntrs_set.cmd_type 0
PARAM_VALUE 0 bp->cmd_req_virt->dec_mib_get.cmd_type 0
PARAM_VALUE 0 bp->cmd_req_virt->fddi_mib_get.cmd_type 0
PARAM_VALUE 0 bp->cmd_req_virt->filter_get.cmd_type 0
PARAM_VALUE 0 bp->cmd_req_virt->filter_set.cmd_type 0
PARAM_VALUE 0 bp->cmd_req_virt->smt_mib_get.cmd_type 0
PARAM_VALUE 0 bp->cmd_req_virt->smt_mib_set.cmd_type 0
PARAM_VALUE 0 bp->cmd_req_virt->snmp_set.cmd_type 0
PARAM_VALUE 0 bp->cmd_req_virt->snmp_set.item 4096-ptr_max
PARAM_VALUE 0 bp->cmd_req_virt->start.cmd_type 0
PARAM_VALUE 0 bp->cmd_rsp_reg.index.comp 0-15
PARAM_VALUE 0 bp->cmd_rsp_reg.index.prod 0-15
PARAM_VALUE 0 bp->cmd_rsp_reg.lword 0
PARAM_VALUE 0 bp->rcv_xmt_reg.lword 0
PARAM_VALUE 0 bp->reset_type 0,4
PARAM_VALUE 1 get_buffers 0-1
CAPPED_DATA 0 bp->cons_block_virt->cmd_req 1
CAPPED_DATA 0 bp->cons_block_virt->cmd_rsp 1
CAPPED_DATA 0 bp->mc_count 1
CAPPED_DATA 0 bp->uc_count 1
DATA_SOURCE 0 bp $0
DATA_SOURCE 1 get_buffers $1
HARD_MAX 0 bp->reset_type 4
HARD_MAX 1 get_buffers 1
MEM_ZERO 0 bp->cmd_req_virt
MEM_ZERO 0 bp->cons_block_virt
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &bp->lock