Open Menu /

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

drivers/net/ethernet/dec/tulip/timer.c tulip_restart_rxtx() -> tulip_start_rxtx()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->base_addr 4096-ptr_max
PARAM_VALUE 0 tp->chip_id 2-3,5,11,13
PARAM_VALUE 0 tp->mtable->mleaf 4096-ptr_max
PARAM_VALUE 0 *tp->dev->name 0-255
DATA_SOURCE 0 tp $0
PREEMPT_ADD
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 flags
HALF_LOCKED2 0 &tp->lock

drivers/net/ethernet/dec/tulip/tulip_core.c tulip_restart_rxtx() -> tulip_start_rxtx()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->base_addr 4096-ptr_max
PARAM_VALUE 0 tp->chip_id s32min-1,4,6-10,12,14-s32max
PARAM_VALUE 0 *tp->dev->name 0
DATA_SOURCE 0 tp $0
FUZZY_MAX 0 tp->chip_id 9
PREEMPT_ADD
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &tp->lock
HALF_LOCKED2 &dev->tx_global_lock
TYPE_LOCK (struct tulip_private)->lock

drivers/net/ethernet/dec/tulip/tulip_core.c tulip_up() -> tulip_start_rxtx()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->base_addr 4096-ptr_max
PARAM_VALUE 0 tp->csr6 0,256,262144-u32max
PARAM_VALUE 0 tp->cur_index s32min-254
PARAM_VALUE 0 tp->cur_rx 0
PARAM_VALUE 0 tp->cur_tx 0-1
PARAM_VALUE 0 tp->dirty_rx 0
PARAM_VALUE 0 tp->dirty_tx 0
PARAM_VALUE 0 tp->mtable 0,4096-ptr_max
PARAM_VALUE 0 tp->mtable->defaultmedia 2048-u16max
PARAM_VALUE 0 tp->mtable->mleaf 4096-ptr_max
PARAM_VALUE 0 tp->napi->thread->delays->lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 tp->napi.config 0,4096-ptr_max
PARAM_VALUE 0 tp->napi.dev 4096-ptr_max
PARAM_VALUE 0 tp->napi.dev->lock.dep_map->name 0-255
PARAM_VALUE 0 tp->napi.dev->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 tp->napi.dev->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 tp->napi.dev->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 tp->napi.dev->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 tp->napi.dev->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 tp->napi.dev->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 tp->napi.thread 0,4096-ptr_max
PARAM_VALUE 0 tp->napi.thread->blocked_on 0
PARAM_VALUE 0 tp->napi.thread->cpus_ptr 4096-ptr_max
PARAM_VALUE 0 tp->napi.thread->migration_disabled 0-1
PARAM_VALUE 0 tp->napi.thread->on_rq 0-1,3-255
PARAM_VALUE 0 tp->napi.thread->saved_state 0
PARAM_VALUE 0 tp->napi.thread->wake_cpu 0-s32max
PARAM_VALUE 0 tp->nwayset 0
PARAM_VALUE 0 tp->pdev 4096-ptr_max
PARAM_VALUE 0 tp->pdev->dev.driver_data->priv 4096-ptr_max
PARAM_VALUE 0 tp->pdev->error_state 0-2,4-u32max
PARAM_VALUE 0 tp->saved_if_port 0-255
PARAM_VALUE 0 tp->setup_frame 4096-ptr_max
PARAM_VALUE 0 tp->tx_buffers 4096-ptr_max
PARAM_VALUE 0 tp->tx_ring 4096-ptr_max
PARAM_VALUE 0 *tp->dev->name 0
CAPPED_DATA 0 tp->setup_frame 1
CAPPED_DATA 0 &tp->pdev->dev 1
FUZZY_MAX 0 tp->csr6 2181955584
FUZZY_MAX 0 tp->cur_index 0
FUZZY_MAX 0 tp->cur_tx 1
HARD_MAX 0 tp->cur_tx 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/dec/tulip/interrupt.c tulip_interrupt() -> tulip_start_rxtx()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->base_addr 4096-ptr_max
PARAM_VALUE 0 tp->csr6 0-4294967295
PARAM_VALUE 0 tp->timer.flags 0-4294967295
PARAM_VALUE 0 *tp->dev->name 0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 tp->chip_id s32min-s32max
HOST_DATA 0 tp->csr0 0-4294967295
HOST_DATA 0 tp->csr12_shadow s32min-s32max
HOST_DATA 0 tp->csr6 0,512-4294967295
HOST_DATA 0 tp->cur_index s32min-s32max
HOST_DATA 0 tp->cur_rx 0-4294967295
HOST_DATA 0 tp->cur_tx 0-4294967295
HOST_DATA 0 tp->default_port 0-15
HOST_DATA 0 tp->dirty_rx 0-4294967295
HOST_DATA 0 tp->dirty_tx 0-4294967295
HOST_DATA 0 tp->fake_addr 0-1
HOST_DATA 0 tp->flags s32min-s32max
HOST_DATA 0 tp->full_duplex 0-1
HOST_DATA 0 tp->full_duplex_lock 0-1
HOST_DATA 0 tp->lpar 0-u16max
HOST_DATA 0 tp->media2 0-15
HOST_DATA 0 tp->media_work.data.counter s64min-s64max
HOST_DATA 0 tp->medialock 0-1
HOST_DATA 0 tp->mediasense 1
HOST_DATA 0 tp->mii_advertise 0-u16max
HOST_DATA 0 tp->mii_cnt (-128)-127
HOST_DATA 0 tp->mit_on s32min-s32max
HOST_DATA 0 tp->napi.defer_hard_irqs 0-4294967295
HOST_DATA 0 tp->napi.defer_hard_irqs_count 0-4294967295
HOST_DATA 0 tp->napi.gro.bitmask s64min-s64max
HOST_DATA 0 tp->napi.gro.cached_napi_id 0-4294967295
HOST_DATA 0 tp->napi.gro.rx_count 0-4294967295
HOST_DATA 0 tp->napi.gro_flush_timeout s64min-s64max
HOST_DATA 0 tp->napi.index s32min-s32max
HOST_DATA 0 tp->napi.irq s32min-s32max
HOST_DATA 0 tp->napi.irq_suspend_timeout s64min-s64max
HOST_DATA 0 tp->napi.list_owner s32min-s32max
HOST_DATA 0 tp->napi.napi_id 0-4294967295
HOST_DATA 0 tp->napi.napi_rmap_idx s32min-s32max
HOST_DATA 0 tp->napi.notify.irq 0-4294967295
HOST_DATA 0 tp->napi.notify.kref.refcount.refs.counter s32min-s32max
HOST_DATA 0 tp->napi.notify.work.data.counter s64min-s64max
HOST_DATA 0 tp->napi.poll_owner s32min-s32max
HOST_DATA 0 tp->napi.state s64min-s64max
HOST_DATA 0 tp->napi.timer._softexpires s64min-s64max
HOST_DATA 0 tp->napi.timer.is_hard 0-1
HOST_DATA 0 tp->napi.timer.is_lazy 0-1
HOST_DATA 0 tp->napi.timer.is_queued 0-1
HOST_DATA 0 tp->napi.timer.is_rel 0-1
HOST_DATA 0 tp->napi.timer.is_soft 0-1
HOST_DATA 0 tp->napi.timer.node.expires s64min-s64max
HOST_DATA 0 tp->napi.timer.node.node.node.__rb_parent_color s64min-s64max
HOST_DATA 0 tp->napi.weight s32min-s32max
HOST_DATA 0 tp->nir s64min-s64max
HOST_DATA 0 tp->nway 1
HOST_DATA 0 tp->nwayset 0
HOST_DATA 0 tp->oom_timer.expires s64min-s64max
HOST_DATA 0 tp->oom_timer.flags 0-4294967295
HOST_DATA 0 tp->pad0 s32min-s32max
HOST_DATA 0 tp->revision s32min-s32max
HOST_DATA 0 tp->rx_ring_dma s64min-s64max
HOST_DATA 0 tp->saved_if_port s32min-s32max
HOST_DATA 0 tp->susp_rx s32min-s32max
HOST_DATA 0 tp->sym_advertise 0-u16max
HOST_DATA 0 tp->timeout_recovery 0-1
HOST_DATA 0 tp->timer.flags 0-4194302
HOST_DATA 0 tp->ttimer s32min-s32max
HOST_DATA 0 tp->tx_ring_dma s64min-s64max
HOST_DATA 0 tp->wolinfo.cmd 0-4294967295
HOST_DATA 0 tp->wolinfo.supported 0-4294967295
HOST_DATA 0 tp->wolinfo.wolopts 0-4294967295
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/net/ethernet/dec/tulip/interrupt.c tulip_restart_rxtx() -> tulip_start_rxtx()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->base_addr 4096-ptr_max
PARAM_VALUE 0 *tp->dev->name 0
DATA_SOURCE 0 tp $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 tp->chip_id s32min-s32max
HOST_DATA 0 tp->csr0 0-u32max
HOST_DATA 0 tp->csr12_shadow s32min-s32max
HOST_DATA 0 tp->csr6 0,512-u32max
HOST_DATA 0 tp->cur_index s32min-s32max
HOST_DATA 0 tp->cur_rx 0-u32max
HOST_DATA 0 tp->cur_tx 0-u32max
HOST_DATA 0 tp->default_port 0-15
HOST_DATA 0 tp->dirty_rx 0-u32max
HOST_DATA 0 tp->dirty_tx 0-u32max
HOST_DATA 0 tp->fake_addr 0-1
HOST_DATA 0 tp->flags s32min-s32max
HOST_DATA 0 tp->full_duplex 0-1
HOST_DATA 0 tp->full_duplex_lock 0-1
HOST_DATA 0 tp->lpar 0-u16max
HOST_DATA 0 tp->media2 0-15
HOST_DATA 0 tp->media_work.data.counter s64min-s64max
HOST_DATA 0 tp->medialock 0-1
HOST_DATA 0 tp->mediasense 1
HOST_DATA 0 tp->mii_advertise 0-u16max
HOST_DATA 0 tp->mii_cnt (-128)-127
HOST_DATA 0 tp->mit_on s32min-s32max
HOST_DATA 0 tp->napi.defer_hard_irqs 0-u32max
HOST_DATA 0 tp->napi.defer_hard_irqs_count 0-u32max
HOST_DATA 0 tp->napi.gro.bitmask 0-u64max
HOST_DATA 0 tp->napi.gro.cached_napi_id 0-u32max
HOST_DATA 0 tp->napi.gro.rx_count 0-u32max
HOST_DATA 0 tp->napi.gro_flush_timeout 0-u64max
HOST_DATA 0 tp->napi.index s32min-s32max
HOST_DATA 0 tp->napi.irq s32min-s32max
HOST_DATA 0 tp->napi.irq_suspend_timeout 0-u64max
HOST_DATA 0 tp->napi.list_owner s32min-s32max
HOST_DATA 0 tp->napi.napi_id 0-u32max
HOST_DATA 0 tp->napi.napi_rmap_idx s32min-s32max
HOST_DATA 0 tp->napi.notify.irq 0-u32max
HOST_DATA 0 tp->napi.notify.kref.refcount.refs.counter s32min-s32max
HOST_DATA 0 tp->napi.notify.work.data.counter s64min-s64max
HOST_DATA 0 tp->napi.poll_owner s32min-s32max
HOST_DATA 0 tp->napi.state 0-u64max
HOST_DATA 0 tp->napi.timer._softexpires s64min-s64max
HOST_DATA 0 tp->napi.timer.is_hard 0-1
HOST_DATA 0 tp->napi.timer.is_lazy 0-1
HOST_DATA 0 tp->napi.timer.is_queued 0-1
HOST_DATA 0 tp->napi.timer.is_rel 0-1
HOST_DATA 0 tp->napi.timer.is_soft 0-1
HOST_DATA 0 tp->napi.timer.node.expires s64min-s64max
HOST_DATA 0 tp->napi.timer.node.node.node.__rb_parent_color 0-u64max
HOST_DATA 0 tp->napi.weight s32min-s32max
HOST_DATA 0 tp->nir 0-u64max
HOST_DATA 0 tp->nway 1
HOST_DATA 0 tp->nwayset 0
HOST_DATA 0 tp->oom_timer.expires 0-u64max
HOST_DATA 0 tp->oom_timer.flags 0-u32max
HOST_DATA 0 tp->pad0 s32min-s32max
HOST_DATA 0 tp->revision s32min-s32max
HOST_DATA 0 tp->rx_ring_dma 0-u64max
HOST_DATA 0 tp->saved_if_port s32min-s32max
HOST_DATA 0 tp->susp_rx s32min-s32max
HOST_DATA 0 tp->sym_advertise 0-u16max
HOST_DATA 0 tp->timeout_recovery 0-1
HOST_DATA 0 tp->timer.flags 0-4194302
HOST_DATA 0 tp->ttimer s32min-s32max
HOST_DATA 0 tp->tx_ring_dma 0-u64max
HOST_DATA 0 tp->wolinfo.cmd 0-u32max
HOST_DATA 0 tp->wolinfo.supported 0-u32max
HOST_DATA 0 tp->wolinfo.wolopts 0-u32max
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
HALF_LOCKED2 0 &tp->lock

drivers/net/ethernet/dec/tulip/media.c tulip_restart_rxtx() -> tulip_start_rxtx()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->advertising 4096-ptr_max
PARAM_VALUE 0 tp->base_addr 4096-ptr_max
PARAM_VALUE 0 tp->phys 4096-ptr_max
PARAM_VALUE 0 *tp->dev->name 0
DATA_SOURCE 0 tp $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &tp->lock
HALF_LOCKED2 irq

drivers/net/ethernet/dec/tulip/pnic.c tulip_restart_rxtx() -> tulip_start_rxtx()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->base_addr 4096-ptr_max
PARAM_VALUE 0 *tp->dev->name 0
DATA_SOURCE 0 tp $0
BIT_INFO 0 tp->csr6 0x0,0x3fffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/dec/tulip/pnic2.c pnic2_lnk_change() -> tulip_start_rxtx()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->base_addr 4096-ptr_max
PARAM_VALUE 0 tp->csr6 0,512-u32max
PARAM_VALUE 0 tp->nway 1
BIT_INFO 0 tp->csr6 0x0,0xffffd3fd
BIT_INFO 0 tp->lpar 0x0,0x7fff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 tp->csr6 0,512-u32max
HOST_DATA 0 tp->lpar 0-u16max
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/net/ethernet/dec/tulip/pnic2.c tulip_restart_rxtx() -> tulip_start_rxtx()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->base_addr 4096-ptr_max
PARAM_VALUE 0 tp->csr6 0,4194304-u32max
PARAM_VALUE 0 tp->nwayset 1
PARAM_VALUE 0 *tp->dev->name 0
DATA_SOURCE 0 tp $0
BIT_INFO 0 tp->csr6 0x400000,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 tp->csr6 0,4194304-u32max
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags

drivers/net/ethernet/dec/tulip/21142.c t21142_lnk_change() -> tulip_start_rxtx()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->base_addr 4096-ptr_max
PARAM_VALUE 0 tp->mtable 0,4096-ptr_max
PARAM_VALUE 0 tp->nway 1
BIT_INFO 0 tp->lpar 0x0,0x7fff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 tp->lpar 0-u16max
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/net/ethernet/dec/tulip/21142.c tulip_restart_rxtx() -> tulip_start_rxtx()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->base_addr 4096-ptr_max
PARAM_VALUE 0 tp->csr6 2185363456-2185363669,2206597120-2206597333,2207121408-2207129855
PARAM_VALUE 0 *tp->dev->name 0
DATA_SOURCE 0 tp $0
BIT_INFO 0 tp->csr6 0x82020000,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL