Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/thermal/intel/intel_soc_dts_iosf.c intel_soc_dts_iosf_exit() -> dts_trips_reset()

Type Parameter Key Value
PARAM_VALUE 0 sensors->soc_dts 4096-ptr_max
PARAM_VALUE 1 dts_index 0-1
BUF_SIZE 0 sensors (-1),288
BUF_SIZE 0 sensors (-1),288
DATA_SOURCE 0 sensors $0
FUZZY_MAX 1 dts_index 1
HARD_MAX 1 dts_index 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sensors unit_byte

drivers/thermal/intel/intel_soc_dts_iosf.c intel_soc_dts_iosf_init() -> dts_trips_reset()

Type Parameter Key Value
PARAM_VALUE 0 sensors 4096-ptr_max
PARAM_VALUE 0 sensors->dts_update_lock.dep_map->name 0-255
PARAM_VALUE 0 sensors->dts_update_lock.first_waiter 0
PARAM_VALUE 0 sensors->dts_update_lock.magic 4096-ptr_max
PARAM_VALUE 0 sensors->dts_update_lock.owner.counter 0
PARAM_VALUE 0 sensors->intr_type 1-2
PARAM_VALUE 0 sensors->soc_dts 4096-ptr_max
PARAM_VALUE 1 dts_index 0-1
BUF_SIZE 0 sensors 288
CAPPED_DATA 0 sensors->tj_max 1
DATA_SOURCE 0 sensors r _kzalloc_noprof
FUZZY_MAX 1 dts_index 1
BIT_INFO 0 sensors->tj_max 0x0,0x7fffffff
HARD_MAX 1 dts_index 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL