[Xen-changelog] [IA64] warning fix

[Xen patchbot -unstable <patchbot-unstable@xxxxxxxxxxxxxxxxxxx>]

# HG changeset patch
# User awilliam@xxxxxxxxxxx
# Node ID 67b24fc635aeae1d4f02a248ce4883451bbd27c4
# Parent  90813b66c3cf444af80fc7974595cc8741a49a3a
[IA64] warning fix

Fixed some compilation warnings

Signed-off-by: Anthony Xu <anthony.xu@xxxxxxxxx>

diff -r 90813b66c3cf -r 67b24fc635ae xen/arch/ia64/vmx/mmio.c
--- a/xen/arch/ia64/vmx/mmio.c  Mon Apr 10 15:13:42 2006 -0600
+++ b/xen/arch/ia64/vmx/mmio.c  Tue Apr 11 13:54:58 2006 -0600
@@ -70,7 +70,7 @@ static void pib_write(VCPU *vcpu, void *
     default:
         if ( PIB_LOW_HALF(pib_off) ) {   // lower half
             if ( s != 8 || ma != 0x4 /* UC */ ) {
-                panic("Undefined IPI-LHF write with s %d, ma %d!\n", s, ma);
+                panic("Undefined IPI-LHF write with s %ld, ma %d!\n", s, ma);
             }
             else {
                 write_ipi(vcpu, pib_off, *(uint64_t *)src);
@@ -172,7 +172,7 @@ static void legacy_io_access(VCPU *vcpu,
 
     vio = get_vio(v->domain, v->vcpu_id);
     if (vio == 0) {
-        panic("bad shared page: %lx");
+        panic("bad shared page\n");
     }
     p = &vio->vp_ioreq;
     p->addr = TO_LEGACY_IO(pa&0x3ffffffUL);
diff -r 90813b66c3cf -r 67b24fc635ae xen/arch/ia64/vmx/pal_emul.c
--- a/xen/arch/ia64/vmx/pal_emul.c      Mon Apr 10 15:13:42 2006 -0600
+++ b/xen/arch/ia64/vmx/pal_emul.c      Tue Apr 11 13:54:58 2006 -0600
@@ -61,7 +61,7 @@ pal_cache_flush (VCPU *vcpu) {
 //                             result.v1,1LL);
 //     }
        while (result.status != 0) {
-        panic("PAL_CACHE_FLUSH ERROR, status %d", result.status);
+        panic("PAL_CACHE_FLUSH ERROR, status %ld", result.status);
        }
 
        return result;

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog