1.1 --- a/xen/arch/x86/irq.c	Fri Nov 28 13:27:32 2008 +0000
     1.2 +++ b/xen/arch/x86/irq.c	Fri Nov 28 13:28:16 2008 +0000
     1.3 @@ -351,7 +351,7 @@ irq_desc_t *domain_spin_lock_irq_desc(
     1.4  }
     1.5  
     1.6  /* Flush all ready EOIs from the top of this CPU's pending-EOI stack. */
     1.7 -static void flush_ready_eoi(void *unused)
     1.8 +static void flush_ready_eoi(void)
     1.9  {
    1.10      struct pending_eoi *peoi = this_cpu(pending_eoi);
    1.11      irq_desc_t         *desc;
    1.12 @@ -405,7 +405,7 @@ static void set_eoi_ready(void *data)
    1.13      __set_eoi_ready(desc);
    1.14      spin_unlock(&desc->lock);
    1.15  
    1.16 -    flush_ready_eoi(NULL);
    1.17 +    flush_ready_eoi();
    1.18  }
    1.19  
    1.20  static void __pirq_guest_eoi(struct domain *d, int irq)
    1.21 @@ -453,7 +453,7 @@ static void __pirq_guest_eoi(struct doma
    1.22      {
    1.23          __set_eoi_ready(desc);
    1.24          spin_unlock(&desc->lock);
    1.25 -        flush_ready_eoi(NULL);
    1.26 +        flush_ready_eoi();
    1.27          local_irq_enable();
    1.28      }
    1.29      else
    1.30 @@ -1100,6 +1100,6 @@ void fixup_irqs(cpumask_t map)
    1.31      peoi = this_cpu(pending_eoi);
    1.32      for ( sp = 0; sp < pending_eoi_sp(peoi); sp++ )
    1.33          peoi[sp].ready = 1;
    1.34 -    flush_ready_eoi(NULL);
    1.35 +    flush_ready_eoi();
    1.36  }
    1.37  #endif