1.1 --- a/xen/arch/ia64/vmx/mmio.c	Mon Apr 10 15:13:42 2006 -0600
     1.2 +++ b/xen/arch/ia64/vmx/mmio.c	Tue Apr 11 13:54:58 2006 -0600
     1.3 @@ -70,7 +70,7 @@ static void pib_write(VCPU *vcpu, void *
     1.4      default:
     1.5          if ( PIB_LOW_HALF(pib_off) ) {   // lower half
     1.6              if ( s != 8 || ma != 0x4 /* UC */ ) {
     1.7 -                panic("Undefined IPI-LHF write with s %d, ma %d!\n", s, ma);
     1.8 +                panic("Undefined IPI-LHF write with s %ld, ma %d!\n", s, ma);
     1.9              }
    1.10              else {
    1.11                  write_ipi(vcpu, pib_off, *(uint64_t *)src);
    1.12 @@ -172,7 +172,7 @@ static void legacy_io_access(VCPU *vcpu,
    1.13  
    1.14      vio = get_vio(v->domain, v->vcpu_id);
    1.15      if (vio == 0) {
    1.16 -        panic("bad shared page: %lx");
    1.17 +        panic("bad shared page\n");
    1.18      }
    1.19      p = &vio->vp_ioreq;
    1.20      p->addr = TO_LEGACY_IO(pa&0x3ffffffUL);

     2.1 --- a/xen/arch/ia64/vmx/pal_emul.c	Mon Apr 10 15:13:42 2006 -0600
     2.2 +++ b/xen/arch/ia64/vmx/pal_emul.c	Tue Apr 11 13:54:58 2006 -0600
     2.3 @@ -61,7 +61,7 @@ pal_cache_flush (VCPU *vcpu) {
     2.4  //				result.v1,1LL);
     2.5  //	}
     2.6  	while (result.status != 0) {
     2.7 -        panic("PAL_CACHE_FLUSH ERROR, status %d", result.status);
     2.8 +        panic("PAL_CACHE_FLUSH ERROR, status %ld", result.status);
     2.9  	}
    2.10  
    2.11  	return result;