Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/thermal/intel/int340x_thermal/processor_thermal_device_pci_legacy.c proc_thermal_pci_remove() -> proc_thermal_mmio_remove()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4096-ptr_max
PARAM_VALUE 0 pdev->bus->self->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
PARAM_VALUE 0 pdev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 0 pdev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 pdev->driver 4096-ptr_max
PARAM_VALUE 0 pdev->driver->err_handler 0,4096-ptr_max
PARAM_VALUE 0 pdev->link_bwctrl->cdev 0-s64max
PARAM_VALUE 0 *pdev->saved_config_space 0-4294967295
PARAM_VALUE 1 proc_priv 4096-ptr_max
PARAM_VALUE 1 proc_priv->soc_dts 0,4096-ptr_max
BUF_SIZE 0 pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,8064
BUF_SIZE 0 pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,8064
BUF_SIZE 1 proc_priv s32min-(-2),1-s32max
BUF_SIZE 1 proc_priv s32min-(-2),1-s32max
CAPPED_DATA 0 pdev 1
CAPPED_DATA 1 proc_priv->soc_dts 1
DATA_SOURCE 0 pdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 pdev->current_state 0-3[c]
UNITS 0 pdev unit_byte
UNITS 1 proc_priv unit_byte
HALF_LOCKED2 0 &pdev->dev.mutex

drivers/thermal/intel/int340x_thermal/processor_thermal_device_pci.c proc_thermal_pci_probe() -> proc_thermal_mmio_remove()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4096-ptr_max
PARAM_VALUE 0 pdev->bus->self->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
PARAM_VALUE 0 pdev->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 pdev->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 pdev->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 pdev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 pdev->driver 4096-ptr_max
PARAM_VALUE 0 pdev->driver->err_handler 0,4096-ptr_max
PARAM_VALUE 0 pdev->error_state 0-2,4-u32max
PARAM_VALUE 0 pdev->is_busmaster 1
PARAM_VALUE 0 pdev->is_managed 1
PARAM_VALUE 0 pdev->is_virtfn 0
PARAM_VALUE 0 pdev->link_bwctrl->cdev 0-s64max
PARAM_VALUE 0 pdev->pcie_cap 0-1
PARAM_VALUE 0 *pdev->saved_config_space 0-4294967295
PARAM_VALUE 1 proc_priv 4096-ptr_max
PARAM_VALUE 1 proc_priv->adev 0,4096-ptr_max
PARAM_VALUE 1 proc_priv->dev 0,4096-ptr_max
PARAM_VALUE 1 proc_priv->int340x_zone 0,4096-u64max
PARAM_VALUE 1 proc_priv->int340x_zone->lpat_table->lpat 4096-ptr_max
PARAM_VALUE 1 proc_priv->int340x_zone->lpat_table->lpat_count 2-1073741823
PARAM_VALUE 1 proc_priv->int340x_zone->zone->debugfs->lock->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 proc_priv->int340x_zone->zone->debugfs->lock->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 proc_priv->int340x_zone->zone->debugfs->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 1 proc_priv->int340x_zone->zone->devdata->ts->thermctl_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 proc_priv->int340x_zone->zone->devdata->ts->thermctl_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 proc_priv->int340x_zone->zone->device.dma_io_tlb_mem->dyn_alloc.data.counter 9007199250546704
PARAM_VALUE 1 proc_priv->int340x_zone->zone->device.dma_io_tlb_mem->dyn_alloc.entry.prev 1473117533515866344
PARAM_VALUE 1 proc_priv->int340x_zone->zone->device.dma_io_tlb_mem->dyn_alloc.func 1583282886040592384
PARAM_VALUE 1 proc_priv->int340x_zone->zone->device.dma_io_tlb_mem->pools.prev 1473117533515866320
PARAM_VALUE 1 proc_priv->int340x_zone->zone->device.kobj->name 0-255
PARAM_VALUE 1 proc_priv->int340x_zone->zone->device.kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 1 proc_priv->int340x_zone->zone->device.kobj.ktype->child_ns_type 0,2344685749105987584,4089303432171261952,6274457576243130368,8186263191508828160
PARAM_VALUE 1 proc_priv->int340x_zone->zone->device.kobj.ktype->get_ownership 0,754295003445952512,1770093955000758272,2031763320308453376,9073032014207823872,9089295143347961856
PARAM_VALUE 1 proc_priv->int340x_zone->zone->device.kobj.release.timer.is_hard 0-1
PARAM_VALUE 1 proc_priv->int340x_zone->zone->device.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 1 proc_priv->int340x_zone->zone->device.kobj.release.timer.is_queued 0-1
PARAM_VALUE 1 proc_priv->int340x_zone->zone->device.kobj.release.timer.is_soft 0-1
PARAM_VALUE 1 proc_priv->int340x_zone->zone->device.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 1 proc_priv->int340x_zone->zone->device.kobj.state_add_uevent_sent 0-1
PARAM_VALUE 1 proc_priv->int340x_zone->zone->device.kobj.state_in_sysfs 0-1
PARAM_VALUE 1 proc_priv->int340x_zone->zone->device.kobj.state_initialized 0-1
PARAM_VALUE 1 proc_priv->int340x_zone->zone->device.kobj.state_remove_uevent_sent 0-1
PARAM_VALUE 1 proc_priv->int340x_zone->zone->device.p->klist_children.get 2213798222526185472
PARAM_VALUE 1 proc_priv->int340x_zone->zone->device.p->klist_children.put 3126867300421632000
PARAM_VALUE 1 proc_priv->int340x_zone->zone->device.p->knode_class.n_ref.refcount.refs.counter 1
PARAM_VALUE 1 proc_priv->int340x_zone->zone->device.p->knode_parent.n_ref.refcount.refs.counter 1
PARAM_VALUE 1 proc_priv->int340x_zone->zone->device.parent->kobj.release.timer.is_hard 0-1
PARAM_VALUE 1 proc_priv->int340x_zone->zone->device.parent->kobj.release.timer.is_lazy 0-1
PARAM_VALUE 1 proc_priv->int340x_zone->zone->device.parent->kobj.release.timer.is_queued 0-1
PARAM_VALUE 1 proc_priv->int340x_zone->zone->device.parent->kobj.release.timer.is_soft 0-1
PARAM_VALUE 1 proc_priv->int340x_zone->zone->device.parent->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 1 proc_priv->int340x_zone->zone->device.parent->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 1 proc_priv->int340x_zone->zone->device.parent->kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 1 proc_priv->int340x_zone->zone->governor->bind_to_tz 0,2625438590284062720,7640240789060431872
PARAM_VALUE 1 proc_priv->int340x_zone->zone->governor->manage 0,149470046961913856,5836613507414540288,8382018677294436352,9167433168714678272
PARAM_VALUE 1 proc_priv->int340x_zone->zone->governor->name 1502858989091262464,4705349393199218688,5821807770346795008,7001299106156244992,7700315807848235008
PARAM_VALUE 1 proc_priv->int340x_zone->zone->governor->trip_crossed 0,2692350151616135168,3163678708812419072
PARAM_VALUE 1 proc_priv->int340x_zone->zone->governor->unbind_from_tz 0,2871557082366656512
PARAM_VALUE 1 proc_priv->int340x_zone->zone->governor->update_tz 0,234793815905665024,701785995358248960
PARAM_VALUE 1 proc_priv->int340x_zone->zone->governor_data->prev_err s32min-(-1024),0,1024-s32max
PARAM_VALUE 1 proc_priv->int340x_zone->zone->governor_data->sustainable_power 0-4294967295
PARAM_VALUE 1 proc_priv->int340x_zone->zone->governor_data->update_cdevs 0-1
PARAM_VALUE 1 proc_priv->int340x_zone->zone->id 0-s32max
PARAM_VALUE 1 proc_priv->int340x_zone->zone->ida.xa.xa_flags 33554437
PARAM_VALUE 1 proc_priv->int340x_zone->zone->last_temperature s32min-s32max
PARAM_VALUE 1 proc_priv->int340x_zone->zone->lock.dep_map->name 0-255
PARAM_VALUE 1 proc_priv->int340x_zone->zone->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 proc_priv->int340x_zone->zone->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 1 proc_priv->int340x_zone->zone->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 1 proc_priv->int340x_zone->zone->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 1 proc_priv->int340x_zone->zone->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 1 proc_priv->int340x_zone->zone->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 1 proc_priv->int340x_zone->zone->lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 proc_priv->int340x_zone->zone->mode 0-1
PARAM_VALUE 1 proc_priv->int340x_zone->zone->notify_event 0-4294967295
PARAM_VALUE 1 proc_priv->int340x_zone->zone->num_trips 0-s32max
PARAM_VALUE 1 proc_priv->int340x_zone->zone->ops.get_temp 2762730022571442176,7674760855416217600
PARAM_VALUE 1 proc_priv->int340x_zone->zone->passive s32min-s32max
PARAM_VALUE 1 proc_priv->int340x_zone->zone->passive_delay_jiffies 0-536870912,4611686018427387902
PARAM_VALUE 1 proc_priv->int340x_zone->zone->poll_queue.cpu s32min-s32max
PARAM_VALUE 1 proc_priv->int340x_zone->zone->poll_queue.timer.flags 0-4294967295
PARAM_VALUE 1 proc_priv->int340x_zone->zone->polling_delay_jiffies 0-536870912,4611686018427387902
PARAM_VALUE 1 proc_priv->int340x_zone->zone->prev_high_trip s32min-s32max
PARAM_VALUE 1 proc_priv->int340x_zone->zone->prev_low_trip s32min-s32max
PARAM_VALUE 1 proc_priv->int340x_zone->zone->removal.done 0-4294967293,4294967295
PARAM_VALUE 1 proc_priv->int340x_zone->zone->removal.wait.lock.magic 3735899821
PARAM_VALUE 1 proc_priv->int340x_zone->zone->removal.wait.lock.owner (-1)
PARAM_VALUE 1 proc_priv->int340x_zone->zone->removal.wait.lock.owner_cpu 4294967295
PARAM_VALUE 1 proc_priv->int340x_zone->zone->resume.wait.lock.magic 3735899821
PARAM_VALUE 1 proc_priv->int340x_zone->zone->resume.wait.lock.owner (-1)
PARAM_VALUE 1 proc_priv->int340x_zone->zone->resume.wait.lock.owner_cpu 4294967295
PARAM_VALUE 1 proc_priv->int340x_zone->zone->state 0-255
PARAM_VALUE 1 proc_priv->int340x_zone->zone->temperature s32min-s32max
PARAM_VALUE 1 proc_priv->int340x_zone->zone->trips->trip_attrs.hyst.attr.attr.mode 292,420
PARAM_VALUE 1 proc_priv->int340x_zone->zone->trips->trip_attrs.hyst.attr.show 719332158819762176
PARAM_VALUE 1 proc_priv->int340x_zone->zone->trips->trip_attrs.hyst.attr.show_const 719332158819762176
PARAM_VALUE 1 proc_priv->int340x_zone->zone->trips->trip_attrs.hyst.attr.store 9088860284661993472
PARAM_VALUE 1 proc_priv->int340x_zone->zone->trips->trip_attrs.hyst.attr.store_const 9088860284661993472
PARAM_VALUE 1 proc_priv->int340x_zone->zone->trips->trip_attrs.temp.attr.attr.mode 292,420
PARAM_VALUE 1 proc_priv->int340x_zone->zone->trips->trip_attrs.temp.attr.show 8403432417533095936
PARAM_VALUE 1 proc_priv->int340x_zone->zone->trips->trip_attrs.temp.attr.show_const 8403432417533095936
PARAM_VALUE 1 proc_priv->int340x_zone->zone->trips->trip_attrs.temp.attr.store 1527830888902770688
PARAM_VALUE 1 proc_priv->int340x_zone->zone->trips->trip_attrs.temp.attr.store_const 1527830888902770688
PARAM_VALUE 1 proc_priv->int340x_zone->zone->trips->trip_attrs.type.attr.attr.mode 292
PARAM_VALUE 1 proc_priv->int340x_zone->zone->trips->trip_attrs.type.attr.show 7673670647537684480
PARAM_VALUE 1 proc_priv->int340x_zone->zone->trips->trip_attrs.type.attr.show_const 7673670647537684480
PARAM_VALUE 1 proc_priv->int340x_zone->zone->tzp->k_i s32min-s32max
PARAM_VALUE 1 proc_priv->int340x_zone->zone->tzp->k_po s32min-s32max
PARAM_VALUE 1 proc_priv->int340x_zone->zone->tzp->k_pu s32min-s32max
PARAM_VALUE 1 proc_priv->int340x_zone->zone->tzp->sustainable_power 0-4294967295
PARAM_VALUE 1 proc_priv->mmio_feature_mask 0
PARAM_VALUE 1 proc_priv->priv_data 4096-ptr_max
BUF_SIZE 0 pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,8064
BUF_SIZE 0 pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,8064
BUF_SIZE 1 proc_priv 104
BUF_SIZE 1 proc_priv->priv_data 216
CAPPED_DATA 0 pdev 1
DATA_SOURCE 0 pdev $0
DATA_SOURCE 1 proc_priv r devm_kzalloc
MEM_ZERO 1 proc_priv
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 pdev->current_state 0-3[c]
NO_OVERFLOW_SIMPLE 1 proc_priv->int340x_zone->zone->governor->bind_to_tz
NO_OVERFLOW_SIMPLE 1 proc_priv->int340x_zone->zone->num_trips
HALF_LOCKED2 0 &pdev->dev.mutex

drivers/thermal/intel/int340x_thermal/processor_thermal_device_pci.c proc_thermal_pci_remove() -> proc_thermal_mmio_remove()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4096-ptr_max
PARAM_VALUE 0 pdev->bus->self->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
PARAM_VALUE 0 pdev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 pdev->driver 4096-ptr_max
PARAM_VALUE 0 pdev->driver->err_handler 0,4096-ptr_max
PARAM_VALUE 0 pdev->link_bwctrl->cdev 0-s64max
PARAM_VALUE 0 *pdev->saved_config_space 0-4294967295
PARAM_VALUE 1 proc_priv 4096-ptr_max
BUF_SIZE 0 pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,8064
BUF_SIZE 0 pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,8064
CAPPED_DATA 0 pdev 1
DATA_SOURCE 0 pdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 pdev->current_state 0-3[c]
HALF_LOCKED2 0 &pdev->dev.mutex