Open Menu /

Defined in 2 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/fddi/skfp/smtinit.c init_smt() -> init_fddi_driver()

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->mib.m->fddiMACTVXCapabilitiy 9223372036854775807,18446744073709486616
PARAM_VALUE 0 smc->mib.m->fddiMACT_MaxCapabilitiy 9223372036854775807,18446744073707489116
PARAM_VALUE 0 smc->mib.m->fddiMACT_MaxMIB 9223372036854775807,18446744073707489116
PARAM_VALUE 0 smc->mib.m->fddiMACT_ReqMIB 9223372036854775807,18446744073707489116
PARAM_VALUE 0 smc->mib.m->fddiMACTvxValueMIB 9223372036854775807,18446744073709517866
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->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_phys_addr.a 0-255
BUF_SIZE 1 mac_addr (-1),32
BUF_SIZE 1 mac_addr (-1),32
DATA_SOURCE 0 smc $0
DATA_SOURCE 1 mac_addr $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &bp->DriverLock