Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pinctrl/pinctrl-rp1.c rp1_gpio_direction_output() -> rp1_set_value()

Type Parameter Key Value
PARAM_VALUE 0 pin 4096-ptr_max
DATA_SOURCE 0 pin r rp1_get_pin
DATA_SOURCE 1 value $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 value 0-1[c]
HALF_LOCKED2 _T->lock

drivers/pinctrl/pinctrl-rp1.c rp1_gpio_set() -> rp1_set_value()

Type Parameter Key Value
PARAM_VALUE 0 pin 4096-ptr_max
DATA_SOURCE 0 pin r rp1_get_pin
DATA_SOURCE 1 value $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 value 0-1[c]

drivers/pinctrl/pinctrl-rp1.c rp1_pinconf_set() -> rp1_set_value()

Type Parameter Key Value
PARAM_VALUE 0 pin 4096-ptr_max
PARAM_VALUE 1 value 0-16777215
DATA_SOURCE 0 pin r rp1_get_pin_pctl
DATA_SOURCE 1 value r pinconf_to_config_argument
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pctldev->mutex