Set readtodc parameter 64bit

In order to fix year 2038 limit.

* i386/i386at/rtc.h (readtodc): Make tp parameter uint64_t *.
* i386/i386at/rtc.c (readtodc): Likewise.
* xen/time.c (readtodc): Likewise.
* i386/i386at/model_dep.c (inittodr): Pass uint64_t pointer to readtodc.

1 files changed, 2 insertions, 5 deletions

diff --git a/xen/time.c b/xen/time.c
index d483405a..f2707a82 100644
--- a/xen/time.c
+++ b/xen/time.c
@@ -110,14 +110,11 @@ static void hypclock_intr(int unit, int old_ipl, void *ret_addr, struct i386_int
 #endif
 }
 
-extern struct timeval time;
-
 int
-readtodc(tp)
-	u_int	*tp;
+readtodc(uint64_t *tp)
 {
 	uint64_t t = hyp_get_time();
-	u_int n = t / 1000000000;
+	uint64_t n = t / 1000000000;
 
 	*tp = n;