Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pwm/core.c pwm_set_waveform_might_sleep() -> __pwm_set_waveform()

Type Parameter Key Value
PARAM_VALUE 0 pwm 4096-ptr_max
PARAM_VALUE 0 pwm->chip 4096-ptr_max
PARAM_VALUE 0 pwm->chip->operational 1
PARAM_VALUE 0 pwm->chip->ops->sizeof_wfhw 0-2,5,12,16
PARAM_VALUE 0 pwm->chip->ops->write_waveform 0,854848129230798848,4902893467299782656,5969761127823302656,6002585450722988032,6474795170319327232,6837514925627310080,7856071230266122240
PARAM_VALUE 1 wf 4096-ptr_max
DATA_SOURCE 0 pwm $0
DATA_SOURCE 1 wf $1
DATA_SOURCE 2 exact $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 exact 0[c]
HALF_LOCKED2 _T->lock

drivers/pwm/core.c pwm_set_waveform_might_sleep() -> __pwm_set_waveform()

Type Parameter Key Value
PARAM_VALUE 0 pwm 4096-ptr_max
PARAM_VALUE 0 pwm->chip 4096-ptr_max
PARAM_VALUE 0 pwm->chip->operational 1
PARAM_VALUE 0 pwm->chip->ops->sizeof_wfhw 0-2,5,12,16
PARAM_VALUE 0 pwm->chip->ops->write_waveform 0,854848129230798848,4902893467299782656,5969761127823302656,6002585450722988032,6474795170319327232,6837514925627310080,7856071230266122240
PARAM_VALUE 1 wf 4096-ptr_max
DATA_SOURCE 0 pwm $0
DATA_SOURCE 1 wf $1
DATA_SOURCE 2 exact $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 exact 0[c]
HALF_LOCKED2 _T->lock