1.1 --- a/tools/ioemu/vl.c	Fri Jul 28 17:52:57 2006 +0100
     1.2 +++ b/tools/ioemu/vl.c	Sat Jul 29 13:06:41 2006 +0100
     1.3 @@ -5792,7 +5792,7 @@ int main(int argc, char **argv)
     1.4      }
     1.5  
     1.6      if (xc_ia64_get_pfn_list(xc_handle, domid, page_array,
     1.7 -                             nr_pages + (GFW_SIZE >> PAGE_SHIFT), 1)!= 1){
     1.8 +                             IO_PAGE_START >> PAGE_SHIFT, 1) != 1){
     1.9          fprintf(logfile, "xc_ia64_get_pfn_list returned error %d\n", errno);
    1.10          exit(-1);
    1.11      }
    1.12 @@ -5801,7 +5801,7 @@ int main(int argc, char **argv)
    1.13                                         PROT_READ|PROT_WRITE,
    1.14                                         page_array[0]);
    1.15  
    1.16 -    fprintf(logfile, "shared page at pfn:%lx, mfn: %l016x\n",
    1.17 +    fprintf(logfile, "shared page at pfn:%lx, mfn: %016lx\n",
    1.18              IO_PAGE_START >> PAGE_SHIFT, page_array[0]);
    1.19  #endif
    1.20  #else  /* !CONFIG_DM */