Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pinctrl/pinctrl-scmi.c pinctrl_scmi_pinconf_group_set() -> pinctrl_scmi_alloc_configs()

Type Parameter Key Value
PARAM_VALUE 0 pctldev 4096-ptr_max
PARAM_VALUE 0 pctldev->desc 4096-ptr_max
PARAM_VALUE 0 pctldev->desc->confops 4096-ptr_max
PARAM_VALUE 0 pctldev->desc->confops->pin_config_group_set 1-u64max
PARAM_VALUE 1 num_configs 1-u32max
PARAM_VALUE 2 p_config_value 899690213550833664
PARAM_VALUE 2 *p_config_value 283074721069400064
PARAM_VALUE 2 *(*p_config_value) 2184970240
PARAM_VALUE 3 p_config_type 7963927904616345600
PARAM_VALUE 3 *p_config_type 6510572760747589632
PARAM_VALUE 3 *(*p_config_type) 1890697216
DATA_SOURCE 0 pctldev $0
DATA_SOURCE 1 num_configs $3
RX_PATH
TASK_NOT_RUNNING

drivers/pinctrl/pinctrl-scmi.c pinctrl_scmi_pinconf_set() -> pinctrl_scmi_alloc_configs()

Type Parameter Key Value
PARAM_VALUE 0 pctldev 4096-ptr_max
PARAM_VALUE 0 pctldev->desc 4096-ptr_max
PARAM_VALUE 0 pctldev->desc->confops 4096-ptr_max
PARAM_VALUE 0 pctldev->desc->confops->pin_config_set 1-u64max
PARAM_VALUE 1 num_configs 1-u32max
PARAM_VALUE 2 p_config_value 3092919350457294848
PARAM_VALUE 2 *p_config_value 6492319025589841920
PARAM_VALUE 2 *(*p_config_value) 2295001088
PARAM_VALUE 3 p_config_type 8360721421894602752
PARAM_VALUE 3 *p_config_type 7119601958618476544
PARAM_VALUE 3 *(*p_config_type) 2510368768
DATA_SOURCE 0 pctldev $0
DATA_SOURCE 1 num_configs $3
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 0 &pctldev->mutex