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 ResetAdapter() -> smt_reset_defaults()

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.hw_state 0
PARAM_VALUE 0 smc->hw.mac_ring_is_up 0
PARAM_VALUE 0 smc->mib.m->fddiMACFrameErrorRatio 0-u16max
PARAM_VALUE 0 smc->mib.m->fddiMACNotCopiedRatio 0-u16max
PARAM_VALUE 0 smc->os.hwm.mbuf_pool.mb_free 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 0 *smc->evcs->evc_cond_state 0-255
PARAM_VALUE 0 *smc->evcs->evc_multiple 0-255
PARAM_VALUE 0 *smc->os.hwm.tx_mb->m_data 0-255
PARAM_VALUE 1 level 1
DATA_SOURCE 0 smc $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &bp->DriverLock
HALF_LOCKED2 Flags
TYPE_LOCK (struct s_smt_os)->DriverLock

drivers/net/fddi/skfp/skfddi.c skfp_close() -> smt_reset_defaults()

Type Parameter Key Value
PARAM_VALUE 0 smc 4096-ptr_max
PARAM_VALUE 1 level 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &rdev->wiphy.mtx
HALF_LOCKED2 global &rtnl_mutex

drivers/net/fddi/skfp/skfddi.c skfp_driver_init() -> smt_reset_defaults()

Type Parameter Key Value
PARAM_VALUE 0 smc 4096-ptr_max
PARAM_VALUE 0 smc->hw.hw_state 0
PARAM_VALUE 0 smc->hw.mac_ring_is_up 0
PARAM_VALUE 0 smc->os.LocalRxBuffer 0-ptr_max
PARAM_VALUE 0 smc->os.SharedMemAddr 0-ptr_max
PARAM_VALUE 0 smc->os.SharedMemHeap 0-15,1920-1950,3840-3855,18112,20032-20047
PARAM_VALUE 0 smc->os.SharedMemSize 20048
PARAM_VALUE 0 smc->os.hwm.descr_p 4096-ptr_max
PARAM_VALUE 0 smc->os.hwm.mbuf_pool.mb_start 1-ptr_max
PARAM_VALUE 0 smc->os.pdev.dev.cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 smc->os.pdev.dev.cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 smc->os.pdev.dev.cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 smc->os.pdev.dev.cma_area->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 smc->os.pdev.dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 smc->os.pdev.dev.dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 smc->os.pdev.dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 smc->os.pdev.dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 smc->os.pdev.dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 smc->os.pdev.dev.dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 smc->os.pdev.dev.dma_uses_io_tlb 1
PARAM_VALUE 0 smc->os.pdev.dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 *smc->hw.fddi_canon_addr.a 0-255
PARAM_VALUE 0 *smc->hw.fddi_phys_addr.a 0-255
PARAM_VALUE 1 level 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL