Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/hwmon/coretemp.c coretemp_remove_core() -> destroy_temp_data()

Type Parameter Key Value
PARAM_VALUE 0 pdata 4096-ptr_max
PARAM_VALUE 0 pdata->cpumask.bits 4096-ptr_max
PARAM_VALUE 0 pdata->hwmon_dev 4096-ptr_max
PARAM_VALUE 0 pdata->hwmon_dev->kobj.sd 0,4096-ptr_max
PARAM_VALUE 1 tdata 4096-ptr_max
BUF_SIZE 0 pdata s32min-(-2),1-s32max
BUF_SIZE 0 pdata s32min-(-2),1-s32max
DATA_SOURCE 0 pdata $0
DATA_SOURCE 1 tdata $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 pdata unit_byte
HALF_LOCKED2 global &cpuhp_state_mutex
HALF_LOCKED2 irq

drivers/hwmon/coretemp.c create_core_data() -> destroy_temp_data()

Type Parameter Key Value
PARAM_VALUE 0 pdata 4096-ptr_max
PARAM_VALUE 0 pdata->core_data 1-u64max
PARAM_VALUE 0 pdata->pkg_data 4096-ptr_max
PARAM_VALUE 1 tdata 4096-ptr_max
PARAM_VALUE 1 tdata->attr_size 4-5
PARAM_VALUE 1 tdata->index (-1)-s32max
PARAM_VALUE 1 tdata->status_reg 412,433
PARAM_VALUE 1 tdata->update_lock.dep_map->name 0-255
PARAM_VALUE 1 tdata->update_lock.first_waiter 0
PARAM_VALUE 1 tdata->update_lock.magic 4096-ptr_max
PARAM_VALUE 1 tdata->update_lock.osq.tail.counter 0
PARAM_VALUE 1 tdata->update_lock.owner.counter 0
BUF_SIZE 0 pdata s32min-(-2),1-s32max
BUF_SIZE 0 pdata s32min-(-2),1-s32max
BUF_SIZE 1 tdata 712
CAPPED_DATA 1 tdata->attr_size 1
DATA_SOURCE 1 tdata r init_temp_data
FUZZY_MAX 1 tdata->attr_size 5
BIT_INFO 1 tdata->cpu 0x0,0x7fffffff
BIT_INFO 1 tdata->status_reg 0x190,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 pdata->nr_cores
UNITS 0 pdata unit_byte
HALF_LOCKED2 global &cpuhp_state_mutex
HALF_LOCKED2 irq