Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/ufs/core/ufshcd.c ufshcd_devfreq_remove() -> devfreq_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 devfreq 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/devfreq/sun8i-a33-mbus.c sun8i_a33_mbus_remove() -> devfreq_remove_device()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex

drivers/devfreq/devfreq.c devfreq_add_device() -> devfreq_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 devfreq 4096-ptr_max
PARAM_VALUE 0 devfreq->data 0,4096-ptr_max
PARAM_VALUE 0 devfreq->dev.devres_head.next->next 4096-ptr_max
PARAM_VALUE 0 devfreq->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 devfreq->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 devfreq->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 devfreq->dev.devres_head.prev->prev 4096-ptr_max
PARAM_VALUE 0 devfreq->dev.dma_io_tlb_mem->dyn_alloc.data.counter 9007199250546704
PARAM_VALUE 0 devfreq->dev.dma_io_tlb_mem->dyn_alloc.entry.prev 1473117533515866344
PARAM_VALUE 0 devfreq->dev.dma_io_tlb_mem->dyn_alloc.func 1583282886040592384
PARAM_VALUE 0 devfreq->dev.dma_io_tlb_mem->pools.prev 1473117533515866320
PARAM_VALUE 0 devfreq->dev.dma_io_tlb_pools.next->next 4096-ptr_max
PARAM_VALUE 0 devfreq->dev.dma_io_tlb_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 devfreq->dev.dma_io_tlb_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 devfreq->dev.dma_pools.next->next 4096-ptr_max
PARAM_VALUE 0 devfreq->dev.dma_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 devfreq->dev.dma_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 devfreq->dev.flags 4096-ptr_max
PARAM_VALUE 0 devfreq->dev.fwnode->dev 4096-ptr_max
PARAM_VALUE 0 devfreq->dev.fwnode->dev->fwnode 4096-ptr_max
PARAM_VALUE 0 devfreq->dev.fwnode->dev->p 1-u64max
PARAM_VALUE 0 devfreq->dev.fwnode->dev->power.set_latency_tolerance 5740181548905971712
PARAM_VALUE 0 devfreq->dev.fwnode->suppliers.next 4096-ptr_max
PARAM_VALUE 0 devfreq->dev.fwnode->suppliers.next->next 4096-ptr_max
PARAM_VALUE 0 devfreq->dev.kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 devfreq->dev.kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 devfreq->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 devfreq->dev.links.consumers.next->next 4096-ptr_max
PARAM_VALUE 0 devfreq->dev.links.consumers.prev->next 4096-ptr_max
PARAM_VALUE 0 devfreq->dev.links.consumers.prev->prev 4096-ptr_max
PARAM_VALUE 0 devfreq->dev.links.defer_sync.next->next 4096-ptr_max
PARAM_VALUE 0 devfreq->dev.links.defer_sync.prev->next 4096-ptr_max
PARAM_VALUE 0 devfreq->dev.links.defer_sync.prev->prev 4096-ptr_max
PARAM_VALUE 0 devfreq->dev.links.suppliers.next->next 4096-ptr_max
PARAM_VALUE 0 devfreq->dev.links.suppliers.prev->next 4096-ptr_max
PARAM_VALUE 0 devfreq->dev.links.suppliers.prev->prev 4096-ptr_max
PARAM_VALUE 0 devfreq->dev.p->klist_children.get 2213798222526185472
PARAM_VALUE 0 devfreq->dev.p->klist_children.put 3126867300421632000
PARAM_VALUE 0 devfreq->dev.p->knode_bus.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 devfreq->dev.p->knode_class.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 devfreq->dev.p->knode_parent.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 devfreq->dev.physical_location->horizontal_position 0-3
PARAM_VALUE 0 devfreq->dev.physical_location->panel 0-7
PARAM_VALUE 0 devfreq->dev.physical_location->vertical_position 0-3
PARAM_VALUE 0 devfreq->dev.power.entry.next->next 4096-ptr_max
PARAM_VALUE 0 devfreq->dev.power.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 devfreq->dev.power.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 devfreq->dev.power.wait_queue.head.next->next 4096-ptr_max
PARAM_VALUE 0 devfreq->dev.power.wait_queue.head.prev->next 4096-ptr_max
PARAM_VALUE 0 devfreq->dev.power.wait_queue.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 devfreq->freq_table 1-u64max
PARAM_VALUE 0 devfreq->lock.dep_map->name 0-255
PARAM_VALUE 0 devfreq->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 devfreq->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 devfreq->lock.magic 4096-ptr_max
PARAM_VALUE 0 devfreq->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 devfreq->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 devfreq->max_state 1-u32max
PARAM_VALUE 0 devfreq->nb.notifier_call 5812317525045968896
PARAM_VALUE 0 devfreq->node.next 4096-ptr_max
PARAM_VALUE 0 devfreq->node.next->next 4096-ptr_max
PARAM_VALUE 0 devfreq->node.prev 4096-ptr_max
PARAM_VALUE 0 devfreq->node.prev->next 4096-ptr_max
PARAM_VALUE 0 devfreq->node.prev->prev 4096-ptr_max
PARAM_VALUE 0 devfreq->opp_table 0,4096-ptr_max
PARAM_VALUE 0 devfreq->profile 4096-ptr_max
PARAM_VALUE 0 devfreq->profile->timer 0-1
PARAM_VALUE 0 devfreq->scaling_max_freq 1-u64max
PARAM_VALUE 0 devfreq->scaling_min_freq 1-u64max
PARAM_VALUE 0 devfreq->suspend_count.counter 0
BUF_SIZE 0 devfreq 3608
BUF_SIZE 0 devfreq->data (-1),8,72
BUF_SIZE 0 devfreq->opp_table (-1)-s32max
BUF_SIZE 0 devfreq->stats.time_in_state 8-34359738360,u64max
BUF_SIZE 0 devfreq->stats.trans_table 0-u64max
CAPPED_DATA 0 &devfreq->dev 1
CAPPED_DATA 0 &devfreq->lock 1
DATA_SOURCE 0 devfreq r _kzalloc_noprof
STR_LEN 0 devfreq->dev.parent (-1)
STR_LEN 0 devfreq->profile (-1),9
STR_LEN 0 devfreq->user_max_freq_req.dev (-1)
STR_LEN 0 devfreq->user_min_freq_req.dev (-1)
HARD_MAX 0 devfreq->profile->timer 1
MEM_ZERO 0 devfreq->stats.trans_table
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 devfreq->last_status.current_frequency 0-u64max
HOST_DATA 0 devfreq->max_state 1-u32max[c]
HOST_DATA 0 devfreq->previous_freq 0-u64max
HOST_DATA 0 devfreq->profile->initial_freq 0-u64max
HOST_DATA 0 devfreq->profile->is_cooling_device 0
HOST_DATA 0 devfreq->profile->max_state 0-u32max
HOST_DATA 0 devfreq->profile->polling_ms 1000
HOST_DATA 0 devfreq->profile->timer 0
HOST_DATA 0 devfreq->user_max_freq_req->dev->driver_data s64min-s64max
HOST_DATA 0 devfreq->user_max_freq_req->dev->driver_data->private s64min-s64max
HOST_DATA 0 devfreq->user_max_freq_req.dev->driver_data->active_ltr 0-4294967295[c]
HOST_DATA 0 devfreq->user_max_freq_req.dev->driver_data->caps 0-4294967295
HOST_DATA 0 devfreq->user_max_freq_req.dev->driver_data->devid s32min-s32max
HOST_DATA 0 devfreq->user_max_freq_req.dev->driver_data->idle_ltr 0-4294967295
HOST_DATA 0 devfreq->user_max_freq_req.dev->driver_data->private->active_ltr 0-4294967295[c]
HOST_DATA 0 devfreq->user_max_freq_req.dev->driver_data->private->idle_ltr 0-4294967295
HOST_DATA 0 devfreq->user_max_freq_req.dev->driver_data->type 0-4294967295
HOST_DATA 0 devfreq->user_min_freq_req->dev->driver_data s64min-s64max
HOST_DATA 0 devfreq->user_min_freq_req->dev->driver_data->private s64min-s64max
HOST_DATA 0 devfreq->user_min_freq_req.dev->driver_data->active_ltr 0-4294967295[c]
HOST_DATA 0 devfreq->user_min_freq_req.dev->driver_data->caps 0-4294967295
HOST_DATA 0 devfreq->user_min_freq_req.dev->driver_data->devid s32min-s32max
HOST_DATA 0 devfreq->user_min_freq_req.dev->driver_data->idle_ltr 0-4294967295
HOST_DATA 0 devfreq->user_min_freq_req.dev->driver_data->private->active_ltr 0-4294967295[c]
HOST_DATA 0 devfreq->user_min_freq_req.dev->driver_data->private->idle_ltr 0-4294967295
HOST_DATA 0 devfreq->user_min_freq_req.dev->driver_data->type 0-4294967295
NO_OVERFLOW_SIMPLE 0 devfreq->max_state
NO_OVERFLOW_SIMPLE 0 devfreq->profile->max_state

drivers/devfreq/devfreq.c devm_devfreq_dev_release() -> devfreq_remove_device()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex