1.1 --- a/xen/arch/ia64/xen/xenmem.c	Wed Apr 05 12:15:10 2006 -0600
     1.2 +++ b/xen/arch/ia64/xen/xenmem.c	Wed Apr 05 12:17:44 2006 -0600
     1.3 @@ -47,8 +47,12 @@ paging_init (void)
     1.4  	if ((mpt_table = alloc_xenheap_pages(mpt_order)) == NULL)
     1.5  		panic("Not enough memory to bootstrap Xen.\n");
     1.6  
     1.7 -	printk("machine to physical table: 0x%lx\n", (u64)mpt_table);
     1.8 -	for (i = 0; i < (1UL << mpt_order); i++) {
     1.9 +	printk("machine to physical table: 0x%lx mpt_table_size 0x%lx\n"
    1.10 +	       "mpt_order %u max_page 0x%lx\n",
    1.11 +	       (u64)mpt_table, mpt_table_size, mpt_order, max_page);
    1.12 +	for (i = 0;
    1.13 +	     i < ((1UL << mpt_order) << PAGE_SHIFT) / sizeof(mpt_table[0]);
    1.14 +	     i++) {
    1.15  		mpt_table[i] = INVALID_M2P_ENTRY;
    1.16  	}
    1.17  }