Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/thermal/intel/int340x_thermal/processor_thermal_wt_hint.c workload_hint_enable_store() -> workload_hint_enable()

Type Parameter Key Value
PARAM_VALUE 1 enable_bit 23
PARAM_VALUE 2 status 7608486745398992896
PARAM_VALUE 3 attr 3917392173679411200
PARAM_VALUE 3 attr->attr 6243379500226580480
PARAM_VALUE 3 attr->store 1-u64max
PARAM_VALUE 4 buf 4096-ptr_max
PARAM_VALUE 5 size 1-1000000000
CAPPED_DATA 5 size 1
CAPPED_DATA 5 size 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 3 attr $1
DATA_SOURCE 4 buf $2
DATA_SOURCE 5 size $3
NOSPEC 5 size
RX_PATH
TASK_NOT_RUNNING
ELEM_LAST 4 ==buf5 8052
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/thermal/intel/int340x_thermal/processor_thermal_wt_hint.c workload_slow_hint_enable_store() -> workload_hint_enable()

Type Parameter Key Value
PARAM_VALUE 1 enable_bit 22
PARAM_VALUE 2 status 3216172089713025024
PARAM_VALUE 3 attr 3138150127117557760
PARAM_VALUE 3 attr->attr 690737444533813248
PARAM_VALUE 3 attr->store 1-u64max
PARAM_VALUE 4 buf 4096-ptr_max
PARAM_VALUE 5 size 1-1000000000
CAPPED_DATA 5 size 1
CAPPED_DATA 5 size 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 3 attr $1
DATA_SOURCE 4 buf $2
DATA_SOURCE 5 size $3
NOSPEC 5 size
RX_PATH
TASK_NOT_RUNNING
ELEM_LAST 4 ==buf5 8052
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex