1.1 --- a/xen/arch/ia64/xen/domain.c	Tue May 16 10:35:58 2006 -0600
     1.2 +++ b/xen/arch/ia64/xen/domain.c	Tue May 16 12:07:09 2006 -0600
     1.3 @@ -869,7 +869,7 @@ void
     1.4  domain_page_flush(struct domain* d, unsigned long mpaddr,
     1.5                    unsigned long old_mfn, unsigned long new_mfn)
     1.6  {
     1.7 -    domain_flush_vtlb_all (d);
     1.8 +    domain_flush_vtlb_all();
     1.9  }
    1.10  #endif
    1.11