smt_received_pack identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/net/fddi/skfp/h/cmtdef.h, line 517 (as a prototype)

Defined in 1 files as a function:

drivers/net/fddi/skfp/smt.c, line 460 (as a function)

Referenced in 1 files:

drivers/net/fddi/skfp/hwmtm.c

Smatch caller information:

drivers/net/fddi/skfp/hwmtm.c hwm_tx_frag() -> smt_received_pack()

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.tx_q	4096-ptr_max
PARAM_VALUE	0	smc->mib.m->fddiMACTVXCapabilitiy	s64max
PARAM_VALUE	0	smc->mib.m->fddiMACT_MaxCapabilitiy	s64max
PARAM_VALUE	0	smc->mib.m->fddiMACT_MaxMIB	s64max
PARAM_VALUE	0	smc->mib.m->fddiMACT_ReqMIB	s64max
PARAM_VALUE	0	smc->mib.m->fddiMACTvxValueMIB	s64max
PARAM_VALUE	0	smc->os.SendSkbQueue.lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	smc->os.hwm.tx_data	4097-18446744073709547521
PARAM_VALUE	0	smc->os.hwm.tx_descr	1073741824,1207959552-1476395008
PARAM_VALUE	0	smc->os.hwm.tx_mb	4096-ptr_max
PARAM_VALUE	0	smc->os.hwm.tx_mb->m_data	4096-ptr_max
PARAM_VALUE	0	smc->os.hwm.tx_p	4096-ptr_max
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	1	mb	4096-ptr_max
PARAM_VALUE	1	mb->m_data	4096-ptr_max
PARAM_VALUE	2	fs	128
DATA_SOURCE	0	smc	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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
LOCK2		Flags
HALF_LOCKED2		&bp->DriverLock
HALF_LOCKED2		flags
TYPE_LOCK		(struct s_smt_os)->DriverLock

drivers/net/fddi/skfp/hwmtm.c process_receive() -> smt_received_pack()

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_para	0,4168,8332-8336,16464-16467
PARAM_VALUE	0	smc->evcs->evc_rep_required	0-255
PARAM_VALUE	0	smc->hw.fddi_canon_addr.a	4096-ptr_max
PARAM_VALUE	0	smc->hw.fp.rx	4096-ptr_max
PARAM_VALUE	0	smc->mib.m	4096-ptr_max
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.detec_count	0
PARAM_VALUE	0	smc->os.hwm.isr_flag	0-1
PARAM_VALUE	0	smc->os.hwm.mbuf_pool.mb_free->m_off	8
PARAM_VALUE	0	smc->os.hwm.mbuf_pool.mb_free->sm_use_count	1
PARAM_VALUE	0	smc->os.hwm.tx_p->tx_curr_put->txd_txdscr	1073741824,1207959552-1476395008
PARAM_VALUE	0	smc->y->lem.lem_on	0-1
PARAM_VALUE	0	smc->y->ls_flag	0
PARAM_VALUE	0	smc->y->mib->fddiPORTHardwarePresent	0-1
PARAM_VALUE	0	smc->y->mib->fddiPORTLer_Estimate	0-65
PARAM_VALUE	0	smc->y->mib->fddiPORTMy_Type	0-2,4
PARAM_VALUE	0	smc->y->mib->fddiPORTNeighborType	0-4
PARAM_VALUE	0	smc->y->mib->fddiPORTPCMStateX	0-4,6-u16max
PARAM_VALUE	0	smc->y->mib->fddiPORTPMDClass	0-2,4-6
PARAM_VALUE	0	smc->y->np	0-1
PARAM_VALUE	0	smc->y->pc_lem_fail	0-1
PARAM_VALUE	0	smc->y->plc.np_err	0
PARAM_VALUE	0	smc->y->plc.p_bits	0-3
PARAM_VALUE	0	smc->y->plc.p_pad	0
PARAM_VALUE	0	smc->y->plc.p_start	0,3-4,7-8
PARAM_VALUE	0	smc->y->plc.p_state	0-7
PARAM_VALUE	0	smc->y->plc.parity_err	0
PARAM_VALUE	0	smc->y->pmd_scramble	0-1
PARAM_VALUE	0	smc->y->rc_flag	0
PARAM_VALUE	0	smc->y->tc_flag	0
PARAM_VALUE	0	smc->y->td_flag	0-1
PARAM_VALUE	0	smc->y->wc_flag	0-1
PARAM_VALUE	1	mb	4096-ptr_max
PARAM_VALUE	1	mb->m_data	4096-ptr_max
PARAM_VALUE	1	mb->m_len	4-4490
PARAM_VALUE	1	mb->m_off	8
PARAM_VALUE	1	mb->sm_use_count	1
PARAM_VALUE	2	fs	0-127
BUF_SIZE	0	smc->q.ev_get	(-1),256
CAPPED_DATA	1	mb->m_len	1
DATA_SOURCE	0	smc	$0
DATA_SOURCE	1	mb	r smt_get_mbuf
FUZZY_MAX	1	mb->m_len	4490
HARD_MAX	0	smc->os.hwm.isr_flag	1
HARD_MAX	1	mb->m_len	4490
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	smc->hw.fp.s2l	0-u16max
HOST_DATA	0	smc->hw.fp.s2u	0-u16max
HOST_DATA	0	smc->r.rmt_timer0.tm_smc->hw.fp.s2l	0-u16max
HOST_DATA	0	smc->r.rmt_timer0.tm_smc->hw.fp.s2u	0-u16max
HOST_DATA	0	smc->r.rmt_timer1.tm_smc->hw.fp.s2l	0-u16max
HOST_DATA	0	smc->r.rmt_timer1.tm_smc->hw.fp.s2u	0-u16max
HOST_DATA	0	smc->r.rmt_timer2.tm_smc->hw.fp.s2l	0-u16max
HOST_DATA	0	smc->r.rmt_timer2.tm_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
NO_OVERFLOW_SIMPLE	0	smc->os.hwm.tx_len
HALF_LOCKED2		&bp->DriverLock

drivers/net/fddi/skfp/hwmtm.c process_receive() -> smt_received_pack()

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_para	0,4168,8332-8336,16464-16467
PARAM_VALUE	0	smc->evcs->evc_rep_required	0-255
PARAM_VALUE	0	smc->hw.fddi_canon_addr.a	4096-ptr_max
PARAM_VALUE	0	smc->hw.fp.rx	4096-ptr_max
PARAM_VALUE	0	smc->mib.m	4096-ptr_max
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.detec_count	0
PARAM_VALUE	0	smc->os.hwm.isr_flag	0-1
PARAM_VALUE	0	smc->os.hwm.mbuf_pool.mb_free->m_off	8
PARAM_VALUE	0	smc->os.hwm.mbuf_pool.mb_free->sm_use_count	1
PARAM_VALUE	0	smc->os.hwm.tx_p->tx_curr_put->txd_txdscr	1073741824,1207959552-1476395008
PARAM_VALUE	0	smc->y->lem.lem_on	0-1
PARAM_VALUE	0	smc->y->ls_flag	0
PARAM_VALUE	0	smc->y->mib->fddiPORTHardwarePresent	0-1
PARAM_VALUE	0	smc->y->mib->fddiPORTLer_Estimate	0-65
PARAM_VALUE	0	smc->y->mib->fddiPORTMy_Type	0-2,4
PARAM_VALUE	0	smc->y->mib->fddiPORTNeighborType	0-4
PARAM_VALUE	0	smc->y->mib->fddiPORTPCMStateX	0-4,6-u16max
PARAM_VALUE	0	smc->y->mib->fddiPORTPMDClass	0-2,4-6
PARAM_VALUE	0	smc->y->np	0-1
PARAM_VALUE	0	smc->y->pc_lem_fail	0-1
PARAM_VALUE	0	smc->y->plc.np_err	0
PARAM_VALUE	0	smc->y->plc.p_bits	0-3
PARAM_VALUE	0	smc->y->plc.p_pad	0
PARAM_VALUE	0	smc->y->plc.p_start	0,3-4,7-8
PARAM_VALUE	0	smc->y->plc.p_state	0-7
PARAM_VALUE	0	smc->y->plc.parity_err	0
PARAM_VALUE	0	smc->y->pmd_scramble	0-1
PARAM_VALUE	0	smc->y->rc_flag	0
PARAM_VALUE	0	smc->y->tc_flag	0
PARAM_VALUE	0	smc->y->td_flag	0-1
PARAM_VALUE	0	smc->y->wc_flag	0-1
PARAM_VALUE	1	mb	4096-ptr_max
PARAM_VALUE	1	mb->m_data	4096-ptr_max
PARAM_VALUE	1	mb->m_len	4-4490
PARAM_VALUE	1	mb->m_off	8
PARAM_VALUE	1	mb->sm_use_count	1
PARAM_VALUE	2	fs	0-127
BUF_SIZE	0	smc->q.ev_get	(-1),256
CAPPED_DATA	1	mb->m_len	1
DATA_SOURCE	0	smc	$0
DATA_SOURCE	1	mb	r smt_get_mbuf
FUZZY_MAX	1	mb->m_len	4490
HARD_MAX	0	smc->os.hwm.isr_flag	1
HARD_MAX	1	mb->m_len	4490
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	smc->hw.fp.s2l	0-u16max
HOST_DATA	0	smc->hw.fp.s2u	0-u16max
HOST_DATA	0	smc->r.rmt_timer0.tm_smc->hw.fp.s2l	0-u16max
HOST_DATA	0	smc->r.rmt_timer0.tm_smc->hw.fp.s2u	0-u16max
HOST_DATA	0	smc->r.rmt_timer1.tm_smc->hw.fp.s2l	0-u16max
HOST_DATA	0	smc->r.rmt_timer1.tm_smc->hw.fp.s2u	0-u16max
HOST_DATA	0	smc->r.rmt_timer2.tm_smc->hw.fp.s2l	0-u16max
HOST_DATA	0	smc->r.rmt_timer2.tm_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
NO_OVERFLOW_SIMPLE	0	smc->os.hwm.tx_len
HALF_LOCKED2		&bp->DriverLock