Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/x86/portwell-ec.c pwec_gpio_set() -> pwec_write()

Type Parameter Key Value
PARAM_VALUE 0 index 44
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 data 0-255

drivers/platform/x86/portwell-ec.c pwec_wdt_stop() -> pwec_write()

Type Parameter Key Value
PARAM_VALUE 0 index 6
PARAM_VALUE 1 data 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/platform/x86/portwell-ec.c pwec_wdt_trigger() -> pwec_write()

Type Parameter Key Value
PARAM_VALUE 0 index 6
PARAM_VALUE 1 data 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &wd_data->lock

drivers/platform/x86/portwell-ec.c pwec_wdt_write_timeout() -> pwec_write()

Type Parameter Key Value
PARAM_VALUE 0 index 7
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 data 0-255[c]
HALF_LOCKED2 &wd_data->lock

drivers/platform/x86/portwell-ec.c pwec_wdt_write_timeout() -> pwec_write()

Type Parameter Key Value
PARAM_VALUE 0 index 8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 data 0-59[c]
HALF_LOCKED2 &wd_data->lock