|
@@ -27,6 +27,7 @@
|
|
#include "qom/object.h"
|
|
#include "qom/object.h"
|
|
#include "audio/audio.h"
|
|
#include "audio/audio.h"
|
|
#include "target/arm/cpu-qom.h"
|
|
#include "target/arm/cpu-qom.h"
|
|
|
|
+#include "qemu/log.h"
|
|
|
|
|
|
#define VERSATILE_FLASH_ADDR 0x34000000
|
|
#define VERSATILE_FLASH_ADDR 0x34000000
|
|
#define VERSATILE_FLASH_SIZE (64 * 1024 * 1024)
|
|
#define VERSATILE_FLASH_SIZE (64 * 1024 * 1024)
|
|
@@ -110,7 +111,8 @@ static uint64_t vpb_sic_read(void *opaque, hwaddr offset,
|
|
case 8: /* PICENABLE */
|
|
case 8: /* PICENABLE */
|
|
return s->pic_enable;
|
|
return s->pic_enable;
|
|
default:
|
|
default:
|
|
- printf ("vpb_sic_read: Bad register offset 0x%x\n", (int)offset);
|
|
|
|
|
|
+ qemu_log_mask(LOG_GUEST_ERROR,
|
|
|
|
+ "vpb_sic_read: Bad register offset 0x%x\n", (int)offset);
|
|
return 0;
|
|
return 0;
|
|
}
|
|
}
|
|
}
|
|
}
|
|
@@ -144,7 +146,8 @@ static void vpb_sic_write(void *opaque, hwaddr offset,
|
|
vpb_sic_update_pic(s);
|
|
vpb_sic_update_pic(s);
|
|
break;
|
|
break;
|
|
default:
|
|
default:
|
|
- printf ("vpb_sic_write: Bad register offset 0x%x\n", (int)offset);
|
|
|
|
|
|
+ qemu_log_mask(LOG_GUEST_ERROR,
|
|
|
|
+ "vpb_sic_write: Bad register offset 0x%x\n", (int)offset);
|
|
return;
|
|
return;
|
|
}
|
|
}
|
|
vpb_sic_update(s);
|
|
vpb_sic_update(s);
|