Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/thermal/gov_power_allocator.c power_allocator_bind() -> allocate_actors_buffer()

Type Parameter Key Value
PARAM_VALUE 0 params 4096-ptr_max
PARAM_VALUE 0 params->trip_max 0,4096-ptr_max
PARAM_VALUE 0 params->trip_max->type 0-1
PARAM_VALUE 0 params->trip_switch_on 0,4096-ptr_max
PARAM_VALUE 1 num_actors 0-s32max
BUF_SIZE 0 params 64
DATA_SOURCE 0 params r _kzalloc_noprof
DATA_SOURCE 1 num_actors r check_power_actors
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &tz->lock

drivers/thermal/gov_power_allocator.c power_allocator_update_tz() -> allocate_actors_buffer()

Type Parameter Key Value
PARAM_VALUE 0 params 4096-ptr_max
PARAM_VALUE 1 num_actors 0-s32max
BUF_SIZE 0 params 64
FUZZY_MAX 1 num_actors 0
PARAM_COMPARE 1 num_actors != $0->num_actors
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 num_actors unit_array_size
LOCK2 &tz->lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock
TYPE_LOCK (struct thermal_zone_device)->lock