Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/thermal/intel/int340x_thermal/processor_thermal_device_pci.c proc_thermal_irq_handler() -> proc_thermal_mmio_write()

Type Parameter Key Value
PARAM_VALUE 0 pci_info 4096-ptr_max
PARAM_VALUE 0 pci_info->proc_priv 4096-ptr_max
PARAM_VALUE 1 type 6
PARAM_VALUE 2 value 0
DATA_SOURCE 0 pci_info $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/thermal/intel/int340x_thermal/processor_thermal_device_pci.c proc_thermal_pci_remove() -> proc_thermal_mmio_write()

Type Parameter Key Value
PARAM_VALUE 0 pci_info 4096-ptr_max
PARAM_VALUE 0 pci_info->work.work.lockdep_map->name 0-255
PARAM_VALUE 1 type 4
PARAM_VALUE 2 value 0
BUF_SIZE 0 pci_info 216
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/thermal/intel/int340x_thermal/processor_thermal_device_pci.c proc_thermal_pci_remove() -> proc_thermal_mmio_write()

Type Parameter Key Value
PARAM_VALUE 0 pci_info 4096-ptr_max
PARAM_VALUE 0 pci_info->proc_priv 4096-ptr_max
PARAM_VALUE 0 pci_info->work.work.lockdep_map->name 0-255
PARAM_VALUE 1 type 6
PARAM_VALUE 2 value 0
BUF_SIZE 0 pci_info 216
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/thermal/intel/int340x_thermal/processor_thermal_device_pci.c proc_thermal_pci_resume() -> proc_thermal_mmio_write()

Type Parameter Key Value
PARAM_VALUE 0 pci_info 4096-ptr_max
PARAM_VALUE 0 pci_info->stored_thres s32min-(-1),1-s32max
PARAM_VALUE 1 type 4
PARAM_VALUE 2 value 0-2147483,4292819813-u32max
BUF_SIZE 0 pci_info 216
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/thermal/intel/int340x_thermal/processor_thermal_device_pci.c proc_thermal_pci_resume() -> proc_thermal_mmio_write()

Type Parameter Key Value
PARAM_VALUE 0 pci_info 4096-ptr_max
PARAM_VALUE 0 pci_info->proc_priv 4096-ptr_max
PARAM_VALUE 0 pci_info->stored_thres s32min-(-1),1-s32max
PARAM_VALUE 1 type 6
PARAM_VALUE 2 value 1
BUF_SIZE 0 pci_info 216
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/thermal/intel/int340x_thermal/processor_thermal_device_pci.c proc_thermal_threshold_work_fn() -> proc_thermal_mmio_write()

Type Parameter Key Value
PARAM_VALUE 0 pci_info 4096-ptr_max
PARAM_VALUE 0 pci_info->tzone 0,4096-ptr_max
PARAM_VALUE 0 pci_info->tzone->debugfs->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 pci_info->tzone->devdata->ts->thermctl_lock.dep_map->name 0-255
PARAM_VALUE 0 pci_info->tzone->device.kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 pci_info->tzone->device.kobj.release.cpu s32min-s32max
PARAM_VALUE 0 pci_info->tzone->device.kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 pci_info->tzone->device.kobj.state_add_uevent_sent 0-1
PARAM_VALUE 0 pci_info->tzone->device.kobj.state_in_sysfs 0-1
PARAM_VALUE 0 pci_info->tzone->device.kobj.state_initialized 0-1
PARAM_VALUE 0 pci_info->tzone->device.kobj.state_remove_uevent_sent 0-1
PARAM_VALUE 0 pci_info->tzone->device.kobj.uevent_suppress 0-1
PARAM_VALUE 0 pci_info->tzone->last_temperature s32min-s32max
PARAM_VALUE 0 pci_info->tzone->lock.dep_map->name 0-255
PARAM_VALUE 0 pci_info->tzone->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 pci_info->tzone->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 pci_info->tzone->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 pci_info->tzone->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 pci_info->tzone->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 pci_info->tzone->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 pci_info->tzone->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 pci_info->tzone->mode 0-1
PARAM_VALUE 0 pci_info->tzone->notify_event 0-4294967295
PARAM_VALUE 0 pci_info->tzone->passive s32min-s32max
PARAM_VALUE 0 pci_info->tzone->poll_queue.cpu s32min-s32max
PARAM_VALUE 0 pci_info->tzone->poll_queue.timer.flags 0-4294967295
PARAM_VALUE 0 pci_info->tzone->prev_high_trip s32min-s32max
PARAM_VALUE 0 pci_info->tzone->prev_low_trip s32min-s32max
PARAM_VALUE 0 pci_info->tzone->temperature s32min-s32max
PARAM_VALUE 0 pci_info->tzone->trips->trip.type 0-4294967295
PARAM_VALUE 0 pci_info->tzone->tzp->k_i s32min-s32max
PARAM_VALUE 0 pci_info->tzone->tzp->k_po s32min-s32max
PARAM_VALUE 0 pci_info->tzone->tzp->k_pu s32min-s32max
PARAM_VALUE 0 pci_info->tzone->tzp->sustainable_power 0-4294967295
PARAM_VALUE 1 type 6
PARAM_VALUE 2 value 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/thermal/intel/int340x_thermal/processor_thermal_device_pci.c sys_set_trip_temp() -> proc_thermal_mmio_write()

Type Parameter Key Value
PARAM_VALUE 0 pci_info 4096-ptr_max
PARAM_VALUE 0 pci_info->work.work.lockdep_map->name 0-255
PARAM_VALUE 1 type 6
PARAM_VALUE 2 value 0
BUF_SIZE 0 pci_info (-1),8,16,24,32,39-40,48,96,104,112,136,200,216,232,256,320,376
BUF_SIZE 0 pci_info (-1),8,16,24,32,39-40,48,96,104,112,136,200,216,232,256,320,376
DATA_SOURCE 0 pci_info r thermal_zone_device_priv
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
LOCK2 &tzd->lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex
TYPE_LOCK (struct thermal_zone_device)->lock

drivers/thermal/intel/int340x_thermal/processor_thermal_device_pci.c sys_set_trip_temp() -> proc_thermal_mmio_write()

Type Parameter Key Value
PARAM_VALUE 0 pci_info 4096-ptr_max
PARAM_VALUE 0 pci_info->proc_priv 4096-ptr_max
PARAM_VALUE 0 pci_info->work.work.lockdep_map->name 0-255
PARAM_VALUE 1 type 4
PARAM_VALUE 2 value 0
BUF_SIZE 0 pci_info (-1),8,16,24,32,39-40,48,96,104,112,136,200,216,232,256,320,376
BUF_SIZE 0 pci_info (-1),8,16,24,32,39-40,48,96,104,112,136,200,216,232,256,320,376
DATA_SOURCE 0 pci_info r thermal_zone_device_priv
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
LOCK2 &tzd->lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex
TYPE_LOCK (struct thermal_zone_device)->lock

drivers/thermal/intel/int340x_thermal/processor_thermal_device_pci.c sys_set_trip_temp() -> proc_thermal_mmio_write()

Type Parameter Key Value
PARAM_VALUE 0 pci_info 4096-ptr_max
PARAM_VALUE 0 pci_info->proc_priv 4096-ptr_max
PARAM_VALUE 1 type 4
PARAM_VALUE 2 value 0-255
BUF_SIZE 0 pci_info (-1),8,16,24,32,39-40,48,96,104,112,136,200,216,232,256,320,376
BUF_SIZE 0 pci_info (-1),8,16,24,32,39-40,48,96,104,112,136,200,216,232,256,320,376
DATA_SOURCE 0 pci_info r thermal_zone_device_priv
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 value 0-255[c]
LOCK2 &of->mutex
LOCK2 &tzd->lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex
TYPE_LOCK (struct thermal_zone_device)->lock

drivers/thermal/intel/int340x_thermal/processor_thermal_device_pci.c sys_set_trip_temp() -> proc_thermal_mmio_write()

Type Parameter Key Value
PARAM_VALUE 0 pci_info 4096-ptr_max
PARAM_VALUE 0 pci_info->proc_priv 4096-ptr_max
PARAM_VALUE 1 type 6
PARAM_VALUE 2 value 1
BUF_SIZE 0 pci_info (-1),8,16,24,32,39-40,48,96,104,112,136,200,216,232,256,320,376
BUF_SIZE 0 pci_info (-1),8,16,24,32,39-40,48,96,104,112,136,200,216,232,256,320,376
DATA_SOURCE 0 pci_info r thermal_zone_device_priv
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
LOCK2 &tzd->lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex
TYPE_LOCK (struct thermal_zone_device)->lock