Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pinctrl/bcm/pinctrl-bcm281xx.c bcm281xx_pinctrl_pin_config_set() -> bcm281xx_std_pin_update()

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 0 pctldev->driver_data 4096-ptr_max
PARAM_VALUE 0 pctldev->driver_data->info 4096-ptr_max
PARAM_VALUE 0 pctldev->driver_data->info->npins 1-4294967295
PARAM_VALUE 1 pin 0-4294967294
PARAM_VALUE 4 val 3897248013403852800
PARAM_VALUE 4 *val 0
PARAM_VALUE 5 mask 7126590050275069952
PARAM_VALUE 5 *mask 0
BUF_SIZE 2 configs (-1),8-s32max
BUF_SIZE 2 configs (-1),8-s32max
CAPPED_DATA 0 pctldev->driver_data->info->npins 1
CAPPED_DATA 1 pin 1
DATA_SOURCE 0 pctldev $0
DATA_SOURCE 1 pin $1
DATA_SOURCE 2 configs $2
DATA_SOURCE 3 num_configs $3
PARAM_COMPARE 0 pctldev->driver_data->info->npins > $1
PARAM_COMPARE 1 pin < $0->driver_data->info->npins
CONSTRAINT 1 pin <2279
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 0 &pctldev->mutex