# HG changeset patch
# User Tristan Gingold <tgingold@xxxxxxx>
# Date 1194246049 -3600
# Node ID 9861fa311a6a85ed9169f8cd70fc3bd510d9e8b5
# Parent  5ff70bb52438f53e63f01d0826439d6e640f0896
Cleanup: remove unused functions, add static.

Signed-off-by: Tristan Gingold <tgingold@xxxxxxx>

diff -r 5ff70bb52438 -r 9861fa311a6a xen/arch/ia64/xen/xentime.c
--- a/xen/arch/ia64/xen/xentime.c	Tue Oct 02 15:12:36 2007 +0200
+++ b/xen/arch/ia64/xen/xentime.c	Mon Nov 05 08:00:49 2007 +0100
@@ -38,9 +38,9 @@ seqlock_t xtime_lock __cacheline_aligned
 
 #define TIME_KEEPER_ID  0
 unsigned long domain0_ready = 0;
-static s_time_t        stime_irq = 0x0;       /* System time at last 'time update' */
-unsigned long itc_scale __read_mostly, ns_scale __read_mostly;
-unsigned long itc_at_irq;
+static s_time_t stime_irq = 0x0;       /* System time at last 'time update' */
+static unsigned long itc_scale __read_mostly, ns_scale __read_mostly;
+static unsigned long itc_at_irq;
 
 /* We don't expect an absolute cycle value here, since then no way
  * to prevent overflow for large norminator. Normally this conversion
@@ -51,7 +51,7 @@ u64 cycle_to_ns(u64 cycle)
     return (cycle * itc_scale) >> 32;
 }
 
-u64 ns_to_cycle(u64 ns)
+static u64 ns_to_cycle(u64 ns)
 {
     return (ns * ns_scale) >> 32;
 }
@@ -90,40 +90,10 @@ void update_vcpu_system_time(struct vcpu
     return;
 }
 
-void update_domain_wallclock_time(struct domain *d)
-{
-    /* N-op here, and let dom0 to manage system time directly */
-    return;
-}
-
-/* Set clock to <secs,usecs> after 00:00:00 UTC, 1 January, 1970. */
-void do_settime(unsigned long secs, unsigned long nsecs, u64 system_time_base)
-{
-    /* If absolute system time is managed by dom0, there's no need for such
-     * action since only virtual itc/itm service is provided.
-     */
-    return;
-}
-
 void
 xen_timer_interrupt (int irq, void *dev_id, struct pt_regs *regs)
 {
 	unsigned long new_itm, old_itc;
-
-#if 0
-#define HEARTBEAT_FREQ 16	// period in seconds
-#ifdef HEARTBEAT_FREQ
-	static long count = 0;
-	if (!(++count & ((HEARTBEAT_FREQ*1024)-1))) {
-		printk("Heartbeat... iip=%p\n", /*",psr.i=%d,pend=%d\n", */
-			regs->cr_iip /*,
-			!current->vcpu_info->evtchn_upcall_mask,
-			VCPU(current,pending_interruption) */);
-		count = 0;
-	}
-#endif
-#endif
-
 
 	new_itm = local_cpu_data->itm_next;
 	while (1) {
@@ -135,9 +105,6 @@ xen_timer_interrupt (int irq, void *dev_
 			 * xtime_lock.
 			 */
 			write_seqlock(&xtime_lock);
-#ifdef TURN_ME_OFF_FOR_NOW_IA64_XEN
-			do_timer(regs);
-#endif
 			/* Updates system time (nanoseconds since boot). */
 			old_itc = itc_at_irq;
 			itc_at_irq = ia64_get_itc();