Index: xen-unstable.hg/xen/arch/ia64/xen/vhpt.c
===================================================================
--- xen-unstable.hg.orig/xen/arch/ia64/xen/vhpt.c	2008-01-15 10:25:56.000000000 +0900
+++ xen-unstable.hg/xen/arch/ia64/xen/vhpt.c	2008-01-15 10:25:57.000000000 +0900
@@ -176,6 +176,8 @@ pervcpu_vhpt_alloc(struct vcpu *v)
 	v->arch.vhpt_maddr = page_to_maddr(v->arch.vhpt_page);
 	if (v->arch.vhpt_maddr & ((1 << VHPT_SIZE_LOG2) - 1))
 		panic("pervcpu_vhpt_init: bad VHPT alignment!\n");
+	printk("%s: v=0x%p vhpt_maddr=0x%016lx\n",
+	       __func__, v, v->arch.vhpt_maddr);
 
 	v->arch.pta.val = 0; // to zero reserved bits
 	v->arch.pta.ve = 1; // enable vhpt