Defined in 2 files as a variable:

Defined in 1 files as a prototype:

Defined in 1 files as a macro:

Defined in 1 files as a function:

Referenced in 9 files:

Smatch caller information:

drivers/net/fddi/skfp/hwmtm.c fddi_isr() -> timer_irq()

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->os.DriverLock.rlock.dep_map->name 0-255
PARAM_VALUE 0 smc->os.hwm.isr_flag 1
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
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 &bp->DriverLock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct s_smt_os)->DriverLock