Add TICK_MAX definition for the timer code as the S3C64XX series have 32bit capable PWM timers. Signed-off-by: Ben Dooks <ben-linux@fluff.org>
Add the necessary support for the timer on the S3C6400 and S3C6410 by adding <mach/tick.h> Signed-off-by: Ben Dooks <ben-linux@fluff.org>