Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firmware/arm_scmi/powercap.c scmi_powercap_cap_enable_set() -> __scmi_powercap_cap_set()

Type Parameter Key Value
PARAM_VALUE 0 ph 4096-ptr_max
PARAM_VALUE 0 ph->get_priv 4096-ptr_max
PARAM_VALUE 1 pi 4096-ptr_max
PARAM_VALUE 1 pi->states 4096-ptr_max
PARAM_VALUE 2 domain_id 0-4294967294
PARAM_VALUE 3 power_cap 1-u32max
PARAM_VALUE 4 ignore_dresp 1
BUF_SIZE 1 pi 2,4,8,12,16,24,32,40
BUF_SIZE 1 pi 2,4,8,12,16,24,32,40
CAPPED_DATA 2 domain_id 1
DATA_SOURCE 0 ph $0
DATA_SOURCE 2 domain_id $1
CONSTRAINT 2 domain_id <838
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/firmware/arm_scmi/powercap.c scmi_powercap_cap_enable_set() -> __scmi_powercap_cap_set()

Type Parameter Key Value
PARAM_VALUE 0 ph 4096-ptr_max
PARAM_VALUE 0 ph->get_priv 4096-ptr_max
PARAM_VALUE 1 pi 4096-ptr_max
PARAM_VALUE 1 pi->states 4096-ptr_max
PARAM_VALUE 2 domain_id 0-4294967294
PARAM_VALUE 3 power_cap 0
PARAM_VALUE 4 ignore_dresp 1
BUF_SIZE 1 pi 2,4,8,12,16,24,32,40
BUF_SIZE 1 pi 2,4,8,12,16,24,32,40
CAPPED_DATA 2 domain_id 1
DATA_SOURCE 0 ph $0
DATA_SOURCE 2 domain_id $1
CONSTRAINT 2 domain_id <838
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/firmware/arm_scmi/powercap.c scmi_powercap_cap_set() -> __scmi_powercap_cap_set()

Type Parameter Key Value
PARAM_VALUE 0 ph 4096-ptr_max
PARAM_VALUE 0 ph->get_priv 0,4096-ptr_max
PARAM_VALUE 3 power_cap 1-u32max
PARAM_VALUE 4 ignore_dresp 0
BUF_SIZE 1 pi 2,4,8,12,16,24,32,40
BUF_SIZE 1 pi 2,4,8,12,16,24,32,40
DATA_SOURCE 0 ph $0
DATA_SOURCE 2 domain_id $1
DATA_SOURCE 3 power_cap $2
DATA_SOURCE 4 ignore_dresp $3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 power_cap 1-s32max[c]
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex