From: Isaku Yamahata <yamahata@valinux.co.jp>
Date: Thu, 2 Apr 2009 10:43:16 +0000 (+0900)
Subject: [IA64] ia64 counter part of 19376:9fc957e63f8d.
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~13991
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=0ef3b2116180207297a967deb75578d285045673;p=xen.git

[IA64] ia64 counter part of 19376:9fc957e63f8d.

This patch is the ia64 counter part of 19376:9fc957e63f8d.

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>
---

diff --git a/xen/include/asm-ia64/mm.h b/xen/include/asm-ia64/mm.h
index b7b2d39217..bb3dc8ae5b 100644
--- a/xen/include/asm-ia64/mm.h
+++ b/xen/include/asm-ia64/mm.h
@@ -212,6 +212,7 @@ static inline void put_page(struct page_info *page)
     unsigned long nx, x, y = page->count_info;
 
     do {
+        ASSERT((y & PGC_count_mask) != 0);
         x = y;
         nx = x - 1;
     }