From 46036c807f0baf22798abd64d5e57f8a227ed4b2 Mon Sep 17 00:00:00 2001
From: pbrook <pbrook>
Date: Sun, 19 Nov 2006 23:07:17 +0000
Subject: [PATCH] Add casts for 64-bit hosts.

---
 hw/integratorcp.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/hw/integratorcp.c b/hw/integratorcp.c
index f438af733..17dca2859 100644
--- a/hw/integratorcp.c
+++ b/hw/integratorcp.c
@@ -325,7 +325,7 @@ static uint32_t icp_pic_read(void *opaque, target_phys_addr_t offset)
     case 5: /* INT_SOFTCLR */
     case 11: /* FRQ_ENABLECLR */
     default:
-        printf ("icp_pic_read: Bad register offset 0x%x\n", offset);
+        printf ("icp_pic_read: Bad register offset 0x%x\n", (int)offset);
         return 0;
     }
 }
@@ -362,7 +362,7 @@ static void icp_pic_write(void *opaque, target_phys_addr_t offset,
     case 8: /* FRQ_STATUS */
     case 9: /* FRQ_RAWSTAT */
     default:
-        printf ("icp_pic_write: Bad register offset 0x%x\n", offset);
+        printf ("icp_pic_write: Bad register offset 0x%x\n", (int)offset);
         return;
     }
     icp_pic_update(s);
-- 
2.39.5