Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/fjes/fjes_main.c fjes_close() -> fjes_free_resources()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->hw.epstop_task.lockdep_map->name 0-255
PARAM_VALUE 0 adapter->hw.rx_status_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->hw.update_zone_task.lockdep_map->name 0-255
PARAM_VALUE 0 adapter->interrupt_watch_enable 0
PARAM_VALUE 0 adapter->interrupt_watch_task.work.lockdep_map->name 0-255
PARAM_VALUE 0 adapter->irq_registered 0
PARAM_VALUE 0 adapter->napi.config 0,4096-ptr_max
PARAM_VALUE 0 adapter->napi.dev 4096-ptr_max
PARAM_VALUE 0 adapter->napi.dev->lock.dep_map->name 0-255
PARAM_VALUE 0 adapter->napi.dev->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 adapter->napi.dev->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 adapter->napi.dev->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 adapter->napi.dev->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 adapter->napi.dev->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 adapter->napi.dev->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 adapter->napi.napi_hash_node->next->pprev 1-u64max
PARAM_VALUE 0 adapter->napi.napi_hash_node.next->pprev 1-u64max
PARAM_VALUE 0 adapter->napi.napi_hash_node.pprev 0
PARAM_VALUE 0 adapter->napi.timer.is_queued 0
PARAM_VALUE 0 adapter->napi.timer.node.node.next 0
PARAM_VALUE 0 adapter->napi.timer.node.node.prev 0
PARAM_VALUE 0 adapter->raise_intr_rxdata_task.lockdep_map->name 0-255
PARAM_VALUE 0 adapter->tx_stall_task.lockdep_map->name 0-255
PARAM_VALUE 0 adapter->unshare_watch_bitmask 0
PARAM_VALUE 0 adapter->unshare_watch_task.lockdep_map->name 0-255
CAPPED_DATA 0 adapter 1
CAPPED_DATA 0 adapter->napi.timer.base 1
CAPPED_DATA 0 &adapter->raise_intr_rxdata_task 1
CAPPED_DATA 0 &adapter->tx_stall_task 1
CAPPED_DATA 0 &adapter->unshare_watch_task 1
PARAM_COMPARE 0 &adapter->napi.timer != $0->napi.timer.base->running
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &netdev->lock
HALF_LOCKED2 &rdev->wiphy.mtx
HALF_LOCKED2 global &rtnl_mutex

drivers/net/fjes/fjes_main.c fjes_open() -> fjes_free_resources()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->hw.epstop_req_bit 0
PARAM_VALUE 0 adapter->hw.hw_info.lock.dep_map->name 0-255
PARAM_VALUE 0 adapter->hw.hw_info.lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 adapter->hw.hw_info.lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 adapter->hw.hw_info.lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 adapter->hw.hw_info.lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 adapter->hw.hw_info.lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 adapter->hw.hw_info.lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 adapter->hw.hw_info.lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 adapter->hw.hw_info.lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 adapter->hw.hw_info.max_epid 4096-ptr_max
PARAM_VALUE 0 adapter->hw.hw_info.req_buf 4096-ptr_max
PARAM_VALUE 0 adapter->hw.hw_info.req_buf->info.length 0,4
PARAM_VALUE 0 adapter->hw.hw_info.req_buf->share_buffer.epid 0-s32max
PARAM_VALUE 0 adapter->hw.hw_info.req_buf->start_trace.buffer_len 0
PARAM_VALUE 0 adapter->hw.hw_info.req_buf->start_trace.length 0
PARAM_VALUE 0 adapter->hw.hw_info.req_buf->start_trace.mode 0
PARAM_VALUE 0 adapter->hw.hw_info.req_buf->stop_trace.length 0
PARAM_VALUE 0 adapter->hw.hw_info.req_buf->unshare_buffer.epid 0
PARAM_VALUE 0 adapter->hw.hw_info.req_buf->unshare_buffer.length 0
PARAM_VALUE 0 adapter->hw.hw_info.res_buf 4096-ptr_max
PARAM_VALUE 0 adapter->hw.hw_info.res_buf->info.code 0
PARAM_VALUE 0 adapter->hw.hw_info.res_buf->info.length 0
PARAM_VALUE 0 adapter->hw.hw_info.res_buf->share_buffer.code 0
PARAM_VALUE 0 adapter->hw.hw_info.res_buf->share_buffer.length 0
PARAM_VALUE 0 adapter->hw.hw_info.res_buf->start_trace.code 0
PARAM_VALUE 0 adapter->hw.hw_info.res_buf->start_trace.length 0
PARAM_VALUE 0 adapter->hw.hw_info.res_buf->stop_trace.code 0
PARAM_VALUE 0 adapter->hw.hw_info.res_buf->stop_trace.length 0
PARAM_VALUE 0 adapter->hw.hw_info.res_buf->unshare_buffer.code 0
PARAM_VALUE 0 adapter->hw.hw_info.res_buf->unshare_buffer.length 0
PARAM_VALUE 0 adapter->hw.txrx_stop_req_bit 0
PARAM_VALUE 0 adapter->interrupt_watch_enable 0
PARAM_VALUE 0 adapter->interrupt_watch_task.timer.entry->pprev 4096-ptr_max
PARAM_VALUE 0 adapter->interrupt_watch_task.work.lockdep_map->name 0-255
PARAM_VALUE 0 adapter->irq_registered 0
PARAM_VALUE 0 adapter->napi->thread->delays->lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 adapter->napi.config 0,4096-ptr_max
PARAM_VALUE 0 adapter->napi.dev 4096-ptr_max
PARAM_VALUE 0 adapter->napi.dev->lock.dep_map->name 0-255
PARAM_VALUE 0 adapter->napi.dev->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 adapter->napi.dev->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 adapter->napi.dev->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 adapter->napi.dev->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 adapter->napi.dev->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 adapter->napi.dev->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 adapter->napi.napi_hash_node->next->pprev 1-u64max
PARAM_VALUE 0 adapter->napi.napi_hash_node.next->pprev 1-u64max
PARAM_VALUE 0 adapter->napi.napi_hash_node.pprev 0
PARAM_VALUE 0 adapter->napi.thread 0,4096-ptr_max
PARAM_VALUE 0 adapter->napi.thread->blocked_on 0
PARAM_VALUE 0 adapter->napi.thread->cpus_ptr 4096-ptr_max
PARAM_VALUE 0 adapter->napi.thread->migration_disabled 0-1
PARAM_VALUE 0 adapter->napi.thread->on_rq 0-1,3-255
PARAM_VALUE 0 adapter->napi.thread->saved_state 0
PARAM_VALUE 0 adapter->napi.thread->wake_cpu 0-s32max
PARAM_VALUE 0 adapter->napi.timer.is_queued 0
PARAM_VALUE 0 adapter->napi.timer.node.node.next 0
PARAM_VALUE 0 adapter->napi.timer.node.node.prev 0
PARAM_VALUE 0 adapter->open_guard 0
CAPPED_DATA 0 adapter 1
FUZZY_MAX 0 adapter->hw.hw_info.req_buf->info.length 0
FUZZY_MAX 0 adapter->hw.hw_info.req_buf->share_buffer.epid 0
MEM_ZERO 0 adapter->hw.hw_info.req_buf
MEM_ZERO 0 adapter->hw.hw_info.res_buf
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex