Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/usb/r8152.c alloc_all_mem() -> free_all_mem()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->intf 4096-ptr_max
PARAM_VALUE 0 tp->netdev 4096-ptr_max
PARAM_VALUE 0 tp->netdev->dev.parent 0,4096-ptr_max
PARAM_VALUE 0 tp->rx_done.next 4096-ptr_max
PARAM_VALUE 0 tp->rx_done.next->next 4096-ptr_max
PARAM_VALUE 0 tp->rx_done.prev 4096-ptr_max
PARAM_VALUE 0 tp->rx_done.prev->next 4096-ptr_max
PARAM_VALUE 0 tp->rx_done.prev->prev 4096-ptr_max
PARAM_VALUE 0 tp->rx_info.next 4096-ptr_max
PARAM_VALUE 0 tp->rx_info.next->next 4096-ptr_max
PARAM_VALUE 0 tp->rx_info.prev 4096-ptr_max
PARAM_VALUE 0 tp->rx_info.prev->next 4096-ptr_max
PARAM_VALUE 0 tp->rx_info.prev->prev 4096-ptr_max
PARAM_VALUE 0 tp->rx_queue.next 4096-ptr_max
PARAM_VALUE 0 tp->rx_queue.prev 4096-ptr_max
PARAM_VALUE 0 tp->rx_queue.qlen 0
PARAM_VALUE 0 tp->tx_free.next 4096-ptr_max
PARAM_VALUE 0 tp->tx_free.next->next 4096-ptr_max
PARAM_VALUE 0 tp->tx_free.prev 4096-ptr_max
PARAM_VALUE 0 tp->tx_free.prev->next 4096-ptr_max
PARAM_VALUE 0 tp->tx_free.prev->prev 4096-ptr_max
PARAM_VALUE 0 tp->tx_queue.next 4096-ptr_max
PARAM_VALUE 0 tp->tx_queue.prev 4096-ptr_max
PARAM_VALUE 0 tp->tx_queue.qlen 0
BUF_SIZE 0 tp->intr_buff 2,u64max
BUF_SIZE 0 tp->intr_urb s32min-s32max
DATA_SOURCE 0 tp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex

drivers/net/usb/r8152.c rtl8152_close() -> free_all_mem()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->control.dep_map->name 0-255
PARAM_VALUE 0 tp->control.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 tp->control.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 tp->control.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 tp->control.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 tp->control.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 tp->control.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 tp->control.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 tp->control.osq.tail.counter 0-s32max
PARAM_VALUE 0 tp->control.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 tp->intf 4096-ptr_max
PARAM_VALUE 0 tp->intf->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 tp->intf->dev.class 0,4096-ptr_max
PARAM_VALUE 0 tp->intf->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 tp->intf->dev.type 0,4096-ptr_max
PARAM_VALUE 0 tp->intr_urb 0,4096-ptr_max
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.napi_hash_node->next->pprev 1-u64max
PARAM_VALUE 0 tp->napi.napi_hash_node.next->pprev 1-u64max
PARAM_VALUE 0 tp->napi.napi_hash_node.pprev 0
PARAM_VALUE 0 tp->napi.timer.is_queued 0
PARAM_VALUE 0 tp->napi.timer.node.node.next 0
PARAM_VALUE 0 tp->napi.timer.node.node.prev 0
PARAM_VALUE 0 tp->schedule.work.lockdep_map->name 0-255
PARAM_VALUE 0 tp->tx_queue.next 4096-ptr_max
CAPPED_DATA 0 tp->intr_urb 1
CAPPED_DATA 0 tp->napi.timer.base 1
CAPPED_DATA 0 &tp->control 1
CAPPED_DATA 0 &tp->pm_notifier 1
PARAM_COMPARE 0 &tp->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/usb/r8152.c rtl8152_open() -> free_all_mem()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->control.dep_map->name 0-255
PARAM_VALUE 0 tp->control.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 tp->control.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 tp->control.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 tp->control.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 tp->control.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 tp->control.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 tp->control.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 tp->control.osq.tail.counter 0-s32max
PARAM_VALUE 0 tp->control.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 tp->intf 4096-ptr_max
PARAM_VALUE 0 tp->intf->cur_altsetting 4096-ptr_max
PARAM_VALUE 0 tp->intf->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 tp->intf->dev.class 0,4096-ptr_max
PARAM_VALUE 0 tp->intf->dev.power.runtime_status 0,2
PARAM_VALUE 0 tp->intf->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 tp->intf->dev.type 0,4096-ptr_max
PARAM_VALUE 0 tp->intr_buff 4096-ptr_max
PARAM_VALUE 0 tp->intr_interval 0-255
PARAM_VALUE 0 tp->intr_urb 4096-ptr_max
PARAM_VALUE 0 tp->intr_urb->anchor 0
PARAM_VALUE 0 tp->intr_urb->anchor_list.next 4096-ptr_max
PARAM_VALUE 0 tp->intr_urb->anchor_list.next->next 4096-ptr_max
PARAM_VALUE 0 tp->intr_urb->anchor_list.prev 4096-ptr_max
PARAM_VALUE 0 tp->intr_urb->anchor_list.prev->next 4096-ptr_max
PARAM_VALUE 0 tp->intr_urb->anchor_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 tp->intr_urb->complete 5280486418078531584
PARAM_VALUE 0 tp->intr_urb->context 4096-ptr_max
PARAM_VALUE 0 tp->intr_urb->dev 4096-ptr_max
PARAM_VALUE 0 tp->intr_urb->ep 0,4096-ptr_max
PARAM_VALUE 0 tp->intr_urb->error_count 0
PARAM_VALUE 0 tp->intr_urb->hcpriv 0
PARAM_VALUE 0 tp->intr_urb->num_mapped_sgs 0-s32max
PARAM_VALUE 0 tp->intr_urb->num_sgs 0
PARAM_VALUE 0 tp->intr_urb->number_of_packets 0
PARAM_VALUE 0 tp->intr_urb->reject.counter 0
PARAM_VALUE 0 tp->intr_urb->sg 0
PARAM_VALUE 0 tp->intr_urb->sgt 0
PARAM_VALUE 0 tp->intr_urb->start_frame (-1)
PARAM_VALUE 0 tp->intr_urb->status (-115),0
PARAM_VALUE 0 tp->intr_urb->stream_id 0
PARAM_VALUE 0 tp->intr_urb->transfer_buffer_length 2
PARAM_VALUE 0 tp->intr_urb->unlinked 0
PARAM_VALUE 0 tp->intr_urb->urb_list.next 4096-ptr_max
PARAM_VALUE 0 tp->intr_urb->urb_list.next->next 4096-ptr_max
PARAM_VALUE 0 tp->intr_urb->urb_list.prev 4096-ptr_max
PARAM_VALUE 0 tp->intr_urb->urb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 tp->intr_urb->urb_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 tp->netdev 4096-ptr_max
PARAM_VALUE 0 tp->rx_count.counter 0
PARAM_VALUE 0 tp->rx_done.next 4096-ptr_max
PARAM_VALUE 0 tp->rx_done.next->next 4096-ptr_max
PARAM_VALUE 0 tp->rx_done.prev 4096-ptr_max
PARAM_VALUE 0 tp->rx_done.prev->next 4096-ptr_max
PARAM_VALUE 0 tp->rx_done.prev->prev 4096-ptr_max
PARAM_VALUE 0 tp->rx_info.next 4096-ptr_max
PARAM_VALUE 0 tp->rx_info.next->next 4096-ptr_max
PARAM_VALUE 0 tp->rx_info.prev 4096-ptr_max
PARAM_VALUE 0 tp->rx_info.prev->next 4096-ptr_max
PARAM_VALUE 0 tp->rx_info.prev->next->next 4096-ptr_max
PARAM_VALUE 0 tp->rx_info.prev->prev 4096-ptr_max
PARAM_VALUE 0 tp->rx_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 tp->rx_queue.next 4096-ptr_max
PARAM_VALUE 0 tp->rx_queue.prev 4096-ptr_max
PARAM_VALUE 0 tp->rx_queue.qlen 0
PARAM_VALUE 0 tp->tx_free.next 4096-ptr_max
PARAM_VALUE 0 tp->tx_free.next->next 4096-ptr_max
PARAM_VALUE 0 tp->tx_free.prev 4096-ptr_max
PARAM_VALUE 0 tp->tx_free.prev->next 4096-ptr_max
PARAM_VALUE 0 tp->tx_free.prev->prev 4096-ptr_max
PARAM_VALUE 0 tp->tx_queue.next 4096-ptr_max
PARAM_VALUE 0 tp->tx_queue.prev 4096-ptr_max
PARAM_VALUE 0 tp->tx_queue.qlen 0
PARAM_VALUE 0 tp->udev->dev.pins->p 0-s64max
PARAM_VALUE 0 *tp->netdev->name 0-255
CAPPED_DATA 0 tp->intr_urb 1
CAPPED_DATA 0 &tp->control 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 tp->intr_urb->num_mapped_sgs
HALF_LOCKED2 global &rtnl_mutex