devicenum         408 drivers/pwm/pwm-sti.c 	int devicenum;
devicenum         418 drivers/pwm/pwm-sti.c 		devicenum = ffs(cpt_int_stat) - 1;
devicenum         420 drivers/pwm/pwm-sti.c 		ddata = pwm_get_chip_data(&pc->chip.pwms[devicenum]);
devicenum         439 drivers/pwm/pwm-sti.c 			    PWM_CPT_VAL(devicenum),
devicenum         445 drivers/pwm/pwm-sti.c 			regmap_read(pc->regmap, PWM_CPT_EDGE(devicenum), &reg);
devicenum         447 drivers/pwm/pwm-sti.c 			regmap_write(pc->regmap, PWM_CPT_EDGE(devicenum), reg);
devicenum         454 drivers/pwm/pwm-sti.c 				     PWM_CPT_EDGE(devicenum),
devicenum         463 drivers/pwm/pwm-sti.c 		cpt_int_stat &= ~BIT_MASK(devicenum);