thermal_zone_device_halt identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/thermal/thermal_core.c, line 314 (as a function)

Referenced in 1 files:

drivers/thermal/thermal_core.c

Smatch caller information:

drivers/thermal/thermal_core.c thermal_zone_device_critical() -> thermal_zone_device_halt()

Type	Parameter	Key	Value
PARAM_VALUE	0	tz	4096-ptr_max
PARAM_VALUE	0	tz->device.dma_io_tlb_mem->phys_limit	0-s64max
PARAM_VALUE	0	tz->device.iommu_group->owner_cnt	0-4294967295
PARAM_VALUE	0	tz->device.kobj.parent->release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	tz->device.kobj.parent->release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	tz->device.kobj.parent->release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	tz->device.kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	tz->device.kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	tz->device.kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	tz->device.kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	tz->device.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	tz->device.parent->kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	tz->device.parent->kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	tz->device.parent->kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	tz->governor->bind_to_tz	0,2625438590284062720,7640240789060431872
PARAM_VALUE	0	tz->governor->manage	0,149470046961913856,5836613507414540288,8382018677294436352,9167433168714678272
PARAM_VALUE	0	tz->governor->name	1502858989091262464,4705349393199218688,5821807770346795008,7001299106156244992,7700315807848235008
PARAM_VALUE	0	tz->governor->trip_crossed	0,2692350151616135168,3163678708812419072
PARAM_VALUE	0	tz->governor->unbind_from_tz	0,2871557082366656512
PARAM_VALUE	0	tz->governor->update_tz	0,234793815905665024,701785995358248960
PARAM_VALUE	0	tz->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	tz->mode	1
PARAM_VALUE	0	tz->recheck_delay_jiffies	0-536870912
PARAM_VALUE	0	tz->state	0
PARAM_VALUE	0	tz->temperature	(-273999)-(-1),1-s32max
PARAM_VALUE	0	tz->trips->trip.type	0-4294967295
PARAM_VALUE	1	action	0
BUF_SIZE	0	tz	s32min,(-1)-s32max
BUF_SIZE	0	tz	s32min,(-1)-s32max
BUF_SIZE	0	tz->devdata	(-1),8,16,24,32,40,48,96,104,112,136,200,216,232,256,320,376,392,1232,1616,2248
CAPPED_DATA	0	tz->temperature	1
DATA_SOURCE	0	tz	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	tz->num_trips	1[c]
USER_DATA	0	tz->emul_temperature	s32min-s32max
NO_OVERFLOW_SIMPLE	0	tz->num_trips
LOCK2	0	&tz->lock
HALF_LOCKED2		&of->mutex
HALF_LOCKED2		&pool->lock
HALF_LOCKED2		_T->lock
TYPE_LOCK		(struct thermal_zone_device)->lock

drivers/thermal/thermal_core.c thermal_zone_device_critical_reboot() -> thermal_zone_device_halt()

Type	Parameter	Key	Value
PARAM_VALUE	0	tz	4096-ptr_max
PARAM_VALUE	0	tz->device.dma_io_tlb_mem->phys_limit	0-s64max
PARAM_VALUE	0	tz->device.iommu_group->owner_cnt	0-4294967295
PARAM_VALUE	0	tz->device.kobj.parent->kset->kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	tz->device.kobj.parent->kset->kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	tz->device.kobj.parent->kset->kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	tz->device.kobj.parent->release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	tz->device.kobj.parent->release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	tz->device.kobj.parent->release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	tz->device.kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	tz->device.kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	tz->device.kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	tz->device.kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	tz->device.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	tz->device.parent->kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	tz->device.parent->kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	tz->device.parent->kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	tz->governor->bind_to_tz	0,2625438590284062720,7640240789060431872
PARAM_VALUE	0	tz->governor->manage	0,149470046961913856,5836613507414540288,8382018677294436352,9167433168714678272
PARAM_VALUE	0	tz->governor->name	1502858989091262464,4705349393199218688,5821807770346795008,7001299106156244992,7700315807848235008
PARAM_VALUE	0	tz->governor->trip_crossed	0,2692350151616135168,3163678708812419072
PARAM_VALUE	0	tz->governor->unbind_from_tz	0,2871557082366656512
PARAM_VALUE	0	tz->governor->update_tz	0,234793815905665024,701785995358248960
PARAM_VALUE	0	tz->lock.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	tz->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	tz->lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	tz->mode	1
PARAM_VALUE	0	tz->ops.get_temp	4096-ptr_max
PARAM_VALUE	0	tz->recheck_delay_jiffies	0-536870912
PARAM_VALUE	0	tz->state	0
PARAM_VALUE	0	tz->temperature	(-273999)-(-1),1-s32max
PARAM_VALUE	0	tz->trips->trip.type	0-4294967295
PARAM_VALUE	0	tz->trips->trip_attrs.hyst.attr.attr.mode	0-u16max
PARAM_VALUE	0	tz->trips->trip_attrs.temp.attr.attr.mode	0-u16max
PARAM_VALUE	0	tz->trips->trip_attrs.type.attr.attr.mode	0-u16max
PARAM_VALUE	1	action	2
BUF_SIZE	0	tz	(-1)-1,3-6,8,14,16,18,30,33,41,96,248,1296,2576-s32max
BUF_SIZE	0	tz	(-1)-1,3-6,8,14,16,18,30,33,41,96,248,1296,2576-s32max
BUF_SIZE	0	tz->devdata	(-1),8,16,24,32,40,48,96,104,112,136,200,216,232,256,320,376,392,1232,1616,2248
CAPPED_DATA	0	tz->temperature	1
DATA_SOURCE	0	tz	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	tz->num_trips	1[c]
USER_DATA	0	tz->emul_temperature	s32min-s32max
NO_OVERFLOW_SIMPLE	0	tz->num_trips
LOCK2	0	&tz->lock
HALF_LOCKED2		&of->mutex
HALF_LOCKED2		&pool->lock
HALF_LOCKED2		_T->lock
TYPE_LOCK		(struct thermal_zone_device)->lock

drivers/thermal/thermal_core.c thermal_zone_device_critical_shutdown() -> thermal_zone_device_halt()

Type	Parameter	Key	Value
PARAM_VALUE	0	tz	4096-ptr_max
PARAM_VALUE	0	tz->device.dma_io_tlb_mem->phys_limit	0-s64max
PARAM_VALUE	0	tz->device.iommu_group->owner_cnt	0-4294967295
PARAM_VALUE	0	tz->device.kobj.parent->kset->kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	tz->device.kobj.parent->kset->kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	tz->device.kobj.parent->kset->kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	tz->device.kobj.parent->release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	tz->device.kobj.parent->release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	tz->device.kobj.parent->release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	tz->device.kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	tz->device.kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	tz->device.kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	tz->device.kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	tz->device.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	tz->device.parent->kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	tz->device.parent->kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	tz->device.parent->kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	tz->governor->bind_to_tz	0,2625438590284062720,7640240789060431872
PARAM_VALUE	0	tz->governor->manage	0,149470046961913856,5836613507414540288,8382018677294436352,9167433168714678272
PARAM_VALUE	0	tz->governor->name	1502858989091262464,4705349393199218688,5821807770346795008,7001299106156244992,7700315807848235008
PARAM_VALUE	0	tz->governor->trip_crossed	0,2692350151616135168,3163678708812419072
PARAM_VALUE	0	tz->governor->unbind_from_tz	0,2871557082366656512
PARAM_VALUE	0	tz->governor->update_tz	0,234793815905665024,701785995358248960
PARAM_VALUE	0	tz->lock.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	tz->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	tz->lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	tz->mode	1
PARAM_VALUE	0	tz->ops.get_temp	4096-ptr_max
PARAM_VALUE	0	tz->recheck_delay_jiffies	0-536870912
PARAM_VALUE	0	tz->state	0
PARAM_VALUE	0	tz->temperature	(-273999)-(-1),1-s32max
PARAM_VALUE	0	tz->trips->trip.type	0-4294967295
PARAM_VALUE	0	tz->trips->trip_attrs.hyst.attr.attr.mode	0-u16max
PARAM_VALUE	0	tz->trips->trip_attrs.temp.attr.attr.mode	0-u16max
PARAM_VALUE	0	tz->trips->trip_attrs.type.attr.attr.mode	0-u16max
PARAM_VALUE	1	action	1
BUF_SIZE	0	tz	(-1)-1,3-6,8,14,16,18,30,33,41,96,248,1296,2576-s32max
BUF_SIZE	0	tz	(-1)-1,3-6,8,14,16,18,30,33,41,96,248,1296,2576-s32max
BUF_SIZE	0	tz->devdata	(-1),8,16,24,32,40,48,96,104,112,136,200,216,232,256,320,376,392,1232,1616,2248
CAPPED_DATA	0	tz->temperature	1
DATA_SOURCE	0	tz	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	tz->num_trips	1[c]
USER_DATA	0	tz->emul_temperature	s32min-s32max
NO_OVERFLOW_SIMPLE	0	tz->num_trips
LOCK2	0	&tz->lock
HALF_LOCKED2		&of->mutex
HALF_LOCKED2		&pool->lock
HALF_LOCKED2		_T->lock
TYPE_LOCK		(struct thermal_zone_device)->lock