ia64/xen-unstable

changeset 12393:dbfd94442e46

[IA64] fix merge error

Fix cut-n-paste error from manually merging patch

Signed-off-by: Alex Williamson <alex.williamson@hp.com>
author awilliam@xenbuild.aw
date Fri Nov 10 12:55:52 2006 -0700 (2006-11-10)
parents d6e40274f923
children 529b3f3fb127
files xen/arch/ia64/xen/mm.c
line diff
     1.1 --- a/xen/arch/ia64/xen/mm.c	Fri Nov 10 12:37:34 2006 -0700
     1.2 +++ b/xen/arch/ia64/xen/mm.c	Fri Nov 10 12:55:52 2006 -0700
     1.3 @@ -1717,7 +1717,7 @@ domain_page_flush_and_put(struct domain*
     1.4           * Probably the domain did only DMA.
     1.5           */
     1.6          /* do nothing */
     1.7 -        put_page(page)
     1.8 +        put_page(page);
     1.9          break;
    1.10      case TLB_TRACK_FOUND:
    1.11          // dprintk(XENLOG_WARNING, "%s TLB_TRACK_FOUND\n", __func__);
    1.12 @@ -1728,7 +1728,7 @@ domain_page_flush_and_put(struct domain*
    1.13           */
    1.14          domain_flush_vtlb_track_entry(d, entry);
    1.15          tlb_track_free_entry(d->arch.tlb_track, entry);
    1.16 -        put_page(page)
    1.17 +        put_page(page);
    1.18          break;
    1.19      case TLB_TRACK_MANY:
    1.20          gdprintk(XENLOG_INFO, "%s TLB_TRACK_MANY\n", __func__);
    1.21 @@ -1740,7 +1740,7 @@ domain_page_flush_and_put(struct domain*
    1.22           * full vTLB flush is necessary.
    1.23           */
    1.24          domain_flush_vtlb_all();
    1.25 -        put_page(page)
    1.26 +        put_page(page);
    1.27          break;
    1.28      case TLB_TRACK_AGAIN:
    1.29          gdprintk(XENLOG_ERR, "%s TLB_TRACK_AGAIN\n", __func__);