Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/powercap/intel_rapl_common.c set_domain_enable() -> (struct rapl_defaults)->set_floor_freq()

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 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,33292288,66584576,2147418112,2147483648,u32max,68719214592,140733193388032,140737488355328,281474976710656,562945658454016,562949953421312,17732923532771328-u64max
DATA_SOURCE 1 enable $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