Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/fddi/skfp/smt.c smt_event() -> update_dac()

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->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.isr_flag 0-1
PARAM_VALUE 0 smc->os.hwm.llc_rx_pipe->m_next 0
PARAM_VALUE 0 smc->os.hwm.tx_p->tx_curr_put->txd_txdscr 1073741824,1207959552-1476395008
PARAM_VALUE 0 smc->sm.smt_tvu 0
PARAM_VALUE 0 smc->srf.any_report 0-1
PARAM_VALUE 0 smc->srf.sr_state 0-2
PARAM_VALUE 0 smc->y->lem.lem_float_ber 0-u16max
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->fddiPORTPCMState 0-u16max
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 0 *smc->evcs->evc_cond_state 0-255
PARAM_VALUE 0 *smc->evcs->evc_multiple 0-255
PARAM_VALUE 1 report 0
BUF_SIZE 0 smc->q.ev_get (-1),256
DATA_SOURCE 0 smc $0
HARD_MAX 0 smc->os.hwm.isr_flag 1
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
HALF_LOCKED2 &bp->DriverLock

drivers/net/fddi/skfp/smt.c smt_received_pack() -> update_dac()

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->mib.m 4096-ptr_max
PARAM_VALUE 0 smc->mib.m->fddiMACDownstreamPORTType 0-2,4
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->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->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 report 1
BUF_SIZE 0 smc->q.ev_get (-1),256
DATA_SOURCE 0 smc $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 smc->e.ecm_timer.tm_smc->hw.fp.s2l 0-u16max
HOST_DATA 0 smc->e.ecm_timer.tm_smc->hw.fp.s2u 0-u16max
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
HALF_LOCKED2 Flags

drivers/net/fddi/skfp/smt.c smt_received_pack() -> update_dac()

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->mib.m 4096-ptr_max
PARAM_VALUE 0 smc->mib.m->fddiMACDownstreamPORTType 0-2,4
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->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->q.ev_put 4096-18446744073709547521
PARAM_VALUE 0 smc->r.dup_addr_test 2
PARAM_VALUE 0 smc->sm.pend 4096-ptr_max
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 report 1
BUF_SIZE 0 smc->q.ev_get (-1),256
DATA_SOURCE 0 smc $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 smc->e.ecm_timer.tm_smc->hw.fp.s2l 0-u16max
HOST_DATA 0 smc->e.ecm_timer.tm_smc->hw.fp.s2u 0-u16max
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
HALF_LOCKED2 Flags

drivers/net/fddi/skfp/smt.c smt_received_pack() -> update_dac()

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->mib.m 4096-ptr_max
PARAM_VALUE 0 smc->mib.m->fddiMACDownstreamPORTType 0-2,4
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->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->sm.pend 4096-ptr_max
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 report 1
BUF_SIZE 0 smc->q.ev_get (-1),256
DATA_SOURCE 0 smc $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 smc->e.ecm_timer.tm_smc->hw.fp.s2l 0-u16max
HOST_DATA 0 smc->e.ecm_timer.tm_smc->hw.fp.s2u 0-u16max
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
HALF_LOCKED2 Flags