diff --git a/xen/arch/ia64/xen/xenmisc.c b/xen/arch/ia64/xen/xenmisc.c
index eaddbee41c..85b140dd42 100644
--- a/xen/arch/ia64/xen/xenmisc.c
+++ b/xen/arch/ia64/xen/xenmisc.c
@@ -203,6 +203,8 @@ void dump_pageframe_info(struct domain *d)
 	printk("dump_pageframe_info not implemented\n");
 }
 
+int nmi_count(int x) { return x; }
+
 ///////////////////////////////
 // called from arch/ia64/head.S
 ///////////////////////////////