···259259 clk_enable(timerclk);260260261261 if (!use_tclk1_12()) {262262+ tmpdev.id = 4;263263+ tmpdev.dev.init_name = "s3c24xx-pwm.4";262264 tin = clk_get(&tmpdev.dev, "pwm-tin");263265 if (IS_ERR(tin))264266 panic("failed to get pwm-tin clock for system timer");