Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/pwm/pwm-lpss.c pwm_lpss_prepare_enable() -> pwm_lpss_wait_for_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pwm | 4096-ptr_max |
| PARAM_VALUE | 0 | pwm->chip | 4096-ptr_max |
| PARAM_VALUE | 0 | pwm->chip->dev.driver_data | 4096-ptr_max |
| PARAM_VALUE | 0 | pwm->chip->ops | 4096-ptr_max |
| 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 |
| BUF_SIZE | 0 | pwm | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | pwm | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | pwm | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | pwm->state.duty_cycle | 0-72057589734572032[c] |
| USER_DATA | 0 | pwm->state.duty_cycle | 0-u64max |
| USER_DATA | 0 | pwm->state.period | 0-u64max |