+ /* check to see if there is an interrupt pending */
+
+ irqpend = __raw_readl(S3C2410_SRCPND);
+ if (irqpend & SRCPND_TIMER4) {
+ /* re-read the timer, and try and fix up for the missed
+ * interrupt */
+
+ tdone = timer_startval - __raw_readl(S3C2410_TCNTO(4));
+ tdone += 1<<16;
+ }
+