Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

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

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

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

Type Parameter Key Value
PARAM_VALUE 0 sensors 4096-ptr_max
PARAM_VALUE 0 sensors->soc_dts 4096-ptr_max
PARAM_VALUE 1 thres_index 1
PARAM_VALUE 2 temp 0
BUF_SIZE 0 sensors (-1),288
BUF_SIZE 0 sensors (-1),288
DATA_SOURCE 0 sensors $0
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() -> update_trip_temp()

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 thres_index 0
PARAM_VALUE 2 temp 0
BUF_SIZE 0 sensors 288
CAPPED_DATA 0 sensors->tj_max 1
DATA_SOURCE 0 sensors r _kzalloc_noprof
BIT_INFO 0 sensors->tj_max 0x0,0x7fffffff
RX_PATH
TASK_NOT_RUNNING

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

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 thres_index 1
BUF_SIZE 0 sensors 288
CAPPED_DATA 0 sensors->tj_max 1
DATA_SOURCE 0 sensors r _kzalloc_noprof
BIT_INFO 0 sensors->tj_max 0x0,0x7fffffff
HARD_MAX 0 sensors->intr_type 2
RX_PATH
TASK_NOT_RUNNING

drivers/thermal/intel/intel_soc_dts_iosf.c sys_set_trip_temp() -> update_trip_temp()

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,4096-ptr_max
PARAM_VALUE 0 sensors->dts_update_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 sensors->dts_update_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 sensors->dts_update_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 sensors->dts_update_lock.wait_lock.owner (-1)
PARAM_VALUE 0 sensors->dts_update_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 2 temp (-2147483647)-s32max
CAPPED_DATA 0 &sensors->dts_update_lock 1
CAPPED_DATA 2 temp 1
DATA_SOURCE 2 temp $2
PARAM_COMPARE 0 sensors->tj_max >= $2
PARAM_COMPARE 2 temp <= $0->tj_max
NOSPEC 2 temp
NOSPEC 2 temp
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 temp 0-s32max[c]
LOCK2 &of->mutex
LOCK2 &tzd->lock
LOCK2 0 &sensors->dts_update_lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct intel_soc_dts_sensors)->dts_update_lock
TYPE_LOCK (struct kernfs_open_file)->mutex
TYPE_LOCK (struct thermal_zone_device)->lock