[IA64] warning fix

Fixed some compilation warnings

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

diff --git a/xen/arch/ia64/vmx/mmio.c b/xen/arch/ia64/vmx/mmio.c
index 86696b0dae5636c02bce8bbd49ec5a872341442e..01b31610e930a6c9b9270e053bbfcc411d3a5d51 100644 (file)
--- a/xen/arch/ia64/vmx/mmio.c
+++ b/xen/arch/ia64/vmx/mmio.c
@@ -70,7 +70,7 @@ static void pib_write(VCPU *vcpu, void *src, uint64_t pib_off, size_t s, int ma)
     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, u64 pa, u64 *val, size_t s, int dir)
 
     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 --git a/xen/arch/ia64/vmx/pal_emul.c b/xen/arch/ia64/vmx/pal_emul.c
index 41f67a4f660a31e6a47f8b82ec69ba6489ae0ace..3cdc3566b9667d1613e607d35fd2e6beb177c9ea 100644 (file)
--- a/xen/arch/ia64/vmx/pal_emul.c
+++ b/xen/arch/ia64/vmx/pal_emul.c
@@ -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;