--- zzzz-none-000/linux-2.6.19.2/include/asm-mips/time.h	2007-01-10 19:10:37.000000000 +0000
+++ davinci-8020-5505/linux-2.6.19.2/include/asm-mips/time.h	2007-01-11 07:38:19.000000000 +0000
@@ -48,8 +48,7 @@
  * If mips_hpt_read is NULL, an R4k-compatible timer setup is attempted.
  */
 extern unsigned int (*mips_hpt_read)(void);
-extern void (*mips_hpt_init)(void);
-extern unsigned int mips_hpt_mask;
+extern void (*mips_hpt_init)(unsigned int);
 
 /*
  * to_tm() converts system time back to (year, mon, day, hour, min, sec).
@@ -59,6 +58,13 @@
 extern void to_tm(unsigned long tim, struct rtc_time *tm);
 
 /*
+ * do_gettimeoffset(). By default, this func pointer points to
+ * do_null_gettimeoffset(), which leads to the same resolution as HZ.
+ * Higher resolution versions are available, which give ~1us resolution.
+ */
+extern unsigned long (*do_gettimeoffset)(void);
+
+/*
  * high-level timer interrupt routines.
  */
 extern irqreturn_t timer_interrupt(int irq, void *dev_id);