Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/thermal/armada_thermal.c armada_configure_overheat_int() -> armada_enable_overheat_interrupt()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->current_channel 0-4
PARAM_VALUE 0 priv->current_hysteresis 0
PARAM_VALUE 0 priv->current_threshold 0-s32max
PARAM_VALUE 0 priv->data 4096-ptr_max
PARAM_VALUE 0 priv->data->coef_b 0
PARAM_VALUE 0 priv->data->coef_div 0
PARAM_VALUE 0 priv->data->coef_m 0
PARAM_VALUE 0 priv->data->cpu_nr 0
PARAM_VALUE 0 priv->data->syscon_status_off 0
PARAM_VALUE 0 priv->dev 4096-ptr_max
PARAM_VALUE 0 priv->dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 priv->dev->of_node 4096-ptr_max
PARAM_VALUE 0 priv->interrupt_source 0-4
PARAM_VALUE 0 priv->overheat_sensor 4096-ptr_max
PARAM_VALUE 0 priv->syscon 4096-ptr_max
PARAM_VALUE 0 priv->syscon->cache->cached_rbnode->base_reg 0-4294967295
PARAM_VALUE 0 priv->syscon->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 priv->syscon->cache->cached_rbnode->node.__rb_parent_color 0-1
PARAM_VALUE 0 priv->syscon->cache_dirty 0-1
PARAM_VALUE 0 priv->update_lock.dep_map->name 0-255
PARAM_VALUE 0 priv->update_lock.first_waiter 0
PARAM_VALUE 0 priv->update_lock.magic 4096-ptr_max
PARAM_VALUE 0 priv->update_lock.osq.tail.counter 0
PARAM_VALUE 0 priv->update_lock.owner.counter 0
PARAM_VALUE 0 *priv->syscon->cache->data 0-4294967295
BUF_SIZE 0 priv 232
BUF_SIZE 0 priv->dev 1616
BUF_SIZE 0 priv->overheat_sensor 2576-s32max
CAPPED_DATA 0 priv->interrupt_source 1
DATA_SOURCE 0 priv $0
MEM_ZERO 0 priv
MEM_ZERO 0 priv->data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL