Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/thermal/intel/x86_pkg_temp_thermal.c pkg_thermal_cpu_offline() -> pkg_thermal_schedule_work()

Type Parameter Key Value
PARAM_VALUE 0 work 0-64
PARAM_VALUE 1 work 4096-ptr_max
CAPPED_DATA 0 work 1
DATA_SOURCE 0 work r cpumask_any_but
CONSTRAINT 0 work <3035
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &pkg_temp_lock
LOCK2 irq
HALF_LOCKED2 global &cpuhp_state_mutex

drivers/thermal/intel/x86_pkg_temp_thermal.c pkg_thermal_notify() -> pkg_thermal_schedule_work()

Type Parameter Key Value
PARAM_VALUE 1 work 4096-ptr_max
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 flags
LOCK2 global &pkg_temp_lock

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

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags