ADI_REG_PWM_WIDTH
u32 pwm_width = axi_ioread(ADI_REG_PWM_WIDTH, ctl);
axi_iowrite(new_width, ADI_REG_PWM_WIDTH, ctl);