Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pwm/pwm-ipq.c ipq_pwm_apply() -> ipq_pwm_reg_write()

Type Parameter Key Value
PARAM_VALUE 0 pwm 4096-ptr_max
PARAM_VALUE 0 pwm->chip 4096-ptr_max
PARAM_VALUE 1 reg 4
PARAM_VALUE 2 val 1073741824
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
NOCHECK_CALL
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

drivers/pwm/pwm-ipq.c ipq_pwm_apply() -> ipq_pwm_reg_write()

Type Parameter Key Value
PARAM_VALUE 0 pwm 4096-ptr_max
PARAM_VALUE 0 pwm->chip 4096-ptr_max
PARAM_VALUE 1 reg 0
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
NOCHECK_CALL
HOST_DATA 2 val 0-u32max[c]
USER_DATA 0 pwm->state.period 0-u64max
USER_DATA 2 val 0-u32max[c]

drivers/pwm/pwm-ipq.c ipq_pwm_apply() -> ipq_pwm_reg_write()

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 1 reg 4
PARAM_VALUE 2 val 0-u16max
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
NOCHECK_CALL
USER_DATA 0 pwm->state.period 0-u64max
USER_DATA 2 val 0-u16max[c]

drivers/pwm/pwm-ipq.c ipq_pwm_apply() -> ipq_pwm_reg_write()

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 1 reg 4
PARAM_VALUE 2 val 3221225472-3221291007
BUF_SIZE 0 pwm s32min-(-1),1-s32max
BUF_SIZE 0 pwm s32min-(-1),1-s32max
DATA_SOURCE 0 pwm $1
BIT_INFO 2 val 0xc0000000,0xc000ffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 pwm->state.period 0-u64max
USER_DATA 2 val 3221225472-3221291007[c]