Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/fddi/skfp/fplustm.c init_fplus() -> mac_counter_init()

Type Parameter Key Value
PARAM_VALUE 0 smc 4096-ptr_max
PARAM_VALUE 0 smc->evcs->evc_code 0-255
PARAM_VALUE 0 smc->evcs->evc_rep_required 0-255
PARAM_VALUE 0 smc->hw.fp.fm_st1l 4096-ptr_max
PARAM_VALUE 0 smc->hw.fp.fm_st1u 4096-ptr_max
PARAM_VALUE 0 smc->hw.fp.fm_st2l 4096-ptr_max
PARAM_VALUE 0 smc->hw.fp.fm_st2u 4096-ptr_max
PARAM_VALUE 0 smc->hw.fp.fm_st3l 4096-ptr_max
PARAM_VALUE 0 smc->hw.fp.fm_st3u 4096-ptr_max
PARAM_VALUE 0 smc->hw.fp.frselreg_init 49152
PARAM_VALUE 0 smc->hw.fp.func_addr 0
PARAM_VALUE 0 smc->hw.fp.mdr2init 47491
PARAM_VALUE 0 smc->hw.fp.mdr3init 129,385
PARAM_VALUE 0 smc->hw.fp.nsa_mode 512
PARAM_VALUE 0 smc->hw.fp.rx_mode 0
PARAM_VALUE 0 smc->hw.fp.s2l 0
PARAM_VALUE 0 smc->hw.fp.s2u 0
PARAM_VALUE 0 smc->hw.hw_is_64bit 0-1
PARAM_VALUE 0 smc->hw.hw_state 0
PARAM_VALUE 0 smc->hw.is_imask 8368179
PARAM_VALUE 0 smc->hw.mac_ct.mac_nobuf_counter 0
PARAM_VALUE 0 smc->hw.mac_ct.mac_r_restart_counter 0
PARAM_VALUE 0 smc->hw.mac_ring_is_up 0
PARAM_VALUE 0 smc->mib.fddiSMTBypassPresent 0-1
PARAM_VALUE 0 smc->mib.p 4096-ptr_max
PARAM_VALUE 0 smc->mib.p->fddiPORTAvailablePaths 0-255
PARAM_VALUE 0 smc->mib.p->fddiPORTHardwarePresent 0-1
PARAM_VALUE 0 smc->mib.p->fddiPORTIndex 1-2
PARAM_VALUE 0 smc->mib.p->fddiPORTLer_Alarm 4-15
PARAM_VALUE 0 smc->mib.p->fddiPORTLer_Cutoff 4-15
PARAM_VALUE 0 smc->mib.p->fddiPORTPMDClass 0-2,4-6
PARAM_VALUE 0 smc->os.hwm.tx_p->tx_curr_put->txd_txdscr 1073741824,1207959552-1476395008
PARAM_VALUE 0 smc->os.pdev.dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 smc->s.sas 0-1
PARAM_VALUE 0 smc->y 4096-ptr_max
PARAM_VALUE 0 smc->y->wc_flag 0-1
PARAM_VALUE 0 *smc->hw.fddi_canon_addr.a 0-255
PARAM_VALUE 0 *smc->hw.fddi_home_addr.a 0-255
PARAM_VALUE 0 *smc->hw.fddi_phys_addr.a 0-255
DATA_SOURCE 0 smc $0
BIT_INFO 0 smc->hw.fp.mdr3init 0x81,0x181
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &bp->DriverLock