From 191eae8259cbeebbc61c5a4bdfb9f0e989d7ce22 Mon Sep 17 00:00:00 2001
From: Marcel Moolenaar <marcel@FreeBSD.org>
Date: Sat, 25 Jun 2011 17:58:35 +0000
Subject: [PATCH] Oops. The sec field of struct bintime is *not* a 32-bit type.
 It's time_t, which is 64 bits on ia64.

---
 sys/ia64/ia64/clock.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sys/ia64/ia64/clock.c b/sys/ia64/ia64/clock.c
index 74b224819c6..96d07c4b677 100644
--- a/sys/ia64/ia64/clock.c
+++ b/sys/ia64/ia64/clock.c
@@ -185,7 +185,7 @@ clock_configure(void *dummy)
 	et->et_frequency = itc_freq;
 	et->et_min_period.sec = 0;
 	et->et_min_period.frac = (0x8000000000000000ul / (u_long)(10*hz)) << 1;
-	et->et_max_period.sec = ~0ul;	/* XXX unless itc_freq >= (1<<32) */
+	et->et_max_period.sec = 0xffffffff;
 	et->et_max_period.frac = ((0xfffffffeul << 32) / itc_freq) << 32;
 	et->et_start = ia64_clock_start;
 	et->et_stop = ia64_clock_stop;