Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/powercap/intel_rapl_common.c power_limit_state_restore() -> rapl_write_pl_data()

Type Parameter Key Value
PARAM_VALUE 0 rd 4096-ptr_max
PARAM_VALUE 0 rd->rpl 4096-ptr_max
PARAM_VALUE 1 pl 0-2
PARAM_VALUE 2 pl_prim 2
PARAM_VALUE 3 value 1-u64max
FUZZY_MAX 1 pl 2
HARD_MAX 1 pl 2
NOCHECK_CALL

drivers/powercap/intel_rapl_common.c rapl_default_set_floor_freq() -> rapl_write_pl_data()

Type Parameter Key Value
PARAM_VALUE 0 rd 4096-ptr_max
PARAM_VALUE 0 rd->power_zone.dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 rd->rp 4096-ptr_max
PARAM_VALUE 0 rd->rp->priv 4096-ptr_max
PARAM_VALUE 0 rd->rp->priv->defaults->set_floor_freq 1098746204114980864,8802433537313054720
PARAM_VALUE 1 pl 0
PARAM_VALUE 2 pl_prim 1
DATA_SOURCE 0 rd $0
DATA_SOURCE 3 value $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/powercap/intel_rapl_common.c rapl_default_set_floor_freq() -> rapl_write_pl_data()

Type Parameter Key Value
PARAM_VALUE 0 rd 4096-ptr_max
PARAM_VALUE 0 rd->power_zone.dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 rd->power_zone.dev.iommu_group->owner_cnt 0-4294967295
PARAM_VALUE 0 rd->power_zone.dev.p->dead 0-1
PARAM_VALUE 0 rd->power_zone.dev.p->deferred_probe_reason 0-s64max
PARAM_VALUE 0 rd->rp 4096-ptr_max
PARAM_VALUE 0 rd->rp->priv 4096-ptr_max
PARAM_VALUE 0 rd->rp->priv->defaults->set_floor_freq 1098746204114980864,8802433537313054720
PARAM_VALUE 0 rd->rp->priv->rpi->mask 31,8191,s16max-32768,65536,131071-131072,262143,332922,16646144
PARAM_VALUE 0 rd->rp->priv->type 0-2
PARAM_VALUE 1 pl 1-2
PARAM_VALUE 2 pl_prim 0
DATA_SOURCE 0 rd $0
DATA_SOURCE 3 value $1
FUZZY_MAX 1 pl 2
HARD_MAX 1 pl 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/powercap/intel_rapl_common.c rapl_default_set_floor_freq() -> rapl_write_pl_data()

Type Parameter Key Value
PARAM_VALUE 0 rd 4096-ptr_max
PARAM_VALUE 0 rd->power_zone.dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 rd->power_zone.dev.iommu_group->owner_cnt 0-4294967295
PARAM_VALUE 0 rd->power_zone.dev.p->dead 0-1
PARAM_VALUE 0 rd->power_zone.dev.p->deferred_probe_reason 0-s64max
PARAM_VALUE 0 rd->rp 4096-ptr_max
PARAM_VALUE 0 rd->rp->priv 4096-ptr_max
PARAM_VALUE 0 rd->rp->priv->defaults->set_floor_freq 1098746204114980864,8802433537313054720
PARAM_VALUE 0 rd->rp->priv->rpi->mask 31,8191,s16max-32768,65536,131071-131072,262143,332922,16646144
PARAM_VALUE 0 rd->rp->priv->type 0-2
PARAM_VALUE 1 pl 1-2
PARAM_VALUE 2 pl_prim 1
DATA_SOURCE 0 rd $0
DATA_SOURCE 3 value $1
FUZZY_MAX 1 pl 2
HARD_MAX 1 pl 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/powercap/intel_rapl_common.c rapl_remove_package_cpuslocked() -> rapl_write_pl_data()

Type Parameter Key Value
PARAM_VALUE 0 rd 0-18446744073709547519
PARAM_VALUE 0 rd->power_zone.dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 rd->rp->priv->rpi->mask 31,8191,s16max-32768,65536,131071-131072,262143,332922,16646144,33292288,66584576,2147418112,2147483648,u32max,68719214592,140733193388032,140737488355328,281474976710656,562945658454016,562949953421312,17732923532771328-u64max
PARAM_VALUE 1 pl 0-2
PARAM_VALUE 2 pl_prim 0
PARAM_VALUE 3 value 0
CAPPED_DATA 0 rd 1
FUZZY_MAX 1 pl 2
HARD_MAX 1 pl 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/powercap/intel_rapl_common.c rapl_remove_package_cpuslocked() -> rapl_write_pl_data()

Type Parameter Key Value
PARAM_VALUE 0 rd 0-18446744073709547519
PARAM_VALUE 0 rd->power_zone.dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 rd->rp->priv->rpi->mask 31,8191,s16max-32768,65536,131071-131072,262143,332922,16646144,33292288,66584576,2147418112,2147483648,u32max,68719214592,140733193388032,140737488355328,281474976710656,562945658454016,562949953421312,17732923532771328-u64max
PARAM_VALUE 1 pl 0-2
PARAM_VALUE 2 pl_prim 1
PARAM_VALUE 3 value 0
CAPPED_DATA 0 rd 1
FUZZY_MAX 1 pl 2
HARD_MAX 1 pl 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/powercap/intel_rapl_common.c set_domain_enable() -> rapl_write_pl_data()

Type Parameter Key Value
PARAM_VALUE 0 rd 4096-ptr_max
PARAM_VALUE 0 rd->rp 4096-ptr_max
PARAM_VALUE 0 rd->rp->priv 4096-ptr_max
PARAM_VALUE 1 pl 0
PARAM_VALUE 2 pl_prim 0
DATA_SOURCE 3 value $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/powercap/intel_rapl_common.c set_power_limit() -> rapl_write_pl_data()

Type Parameter Key Value
PARAM_VALUE 0 rd 4096-ptr_max
PARAM_VALUE 1 pl (-22),0-2
PARAM_VALUE 2 pl_prim 2
DATA_SOURCE 1 pl r contraint_to_pl
DATA_SOURCE 3 value $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 value 0-u64max
NO_OVERFLOW_SIMPLE 3 value
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/powercap/intel_rapl_common.c set_time_window() -> rapl_write_pl_data()

Type Parameter Key Value
PARAM_VALUE 0 rd 4096-ptr_max
PARAM_VALUE 1 pl (-22),0-2
PARAM_VALUE 2 pl_prim 3
DATA_SOURCE 1 pl r contraint_to_pl
DATA_SOURCE 3 value $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 value 0-u64max
NO_OVERFLOW_SIMPLE 3 value
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex