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/skfddi.c send_queued_packets() -> hwm_tx_init()

Type Parameter Key Value
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->os.SendSkbQueue.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 smc->os.hwm.tx_p->tx_curr_put->txd_txdscr 1073741824,1207959552-1476395008
PARAM_VALUE 0 smc->y->wc_flag 0-1
PARAM_VALUE 2 frag_count 1
PARAM_VALUE 4 frame_status 0-1
DATA_SOURCE 0 smc $0
FUZZY_MAX 4 frame_status 1
HARD_MAX 4 frame_status 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 smc->hw.fp.s2l 0-u16max
HOST_DATA 0 smc->hw.fp.s2u 0-u16max
HOST_DATA 0 smc->sm.smt_timer.tm_smc->hw.fp.s2l 0-u16max
HOST_DATA 0 smc->sm.smt_timer.tm_smc->hw.fp.s2u 0-u16max
HOST_DATA 0 smc->t.st_fast.tm_smc->hw.fp.s2l 0-u16max
HOST_DATA 0 smc->t.st_fast.tm_smc->hw.fp.s2u 0-u16max
USER_DATA 1 fc 0-255
UNITS 3 frame_len unit_byte
LOCK2 &bp->DriverLock
LOCK2 Flags
HALF_LOCKED2 &bp->DriverLock
HALF_LOCKED2 flags
TYPE_LOCK (struct s_smt_os)->DriverLock