|
@@ -26,6 +26,7 @@
|
|
|
*/
|
|
|
|
|
|
#include "qemu/osdep.h"
|
|
|
+#include "qemu/log.h"
|
|
|
#include "hw/sysbus.h"
|
|
|
#include "qemu/timer.h"
|
|
|
#include "qemu-common.h"
|
|
@@ -370,9 +371,9 @@ static uint64_t exynos4210_rtc_read(void *opaque, hwaddr offset,
|
|
|
break;
|
|
|
|
|
|
default:
|
|
|
- fprintf(stderr,
|
|
|
- "[exynos4210.rtc: bad read offset " TARGET_FMT_plx "]\n",
|
|
|
- offset);
|
|
|
+ qemu_log_mask(LOG_GUEST_ERROR,
|
|
|
+ "exynos4210.rtc: bad read offset " TARGET_FMT_plx,
|
|
|
+ offset);
|
|
|
break;
|
|
|
}
|
|
|
return value;
|
|
@@ -433,9 +434,9 @@ static void exynos4210_rtc_write(void *opaque, hwaddr offset,
|
|
|
if (value > TICNT_THRESHOLD) {
|
|
|
s->reg_ticcnt = value;
|
|
|
} else {
|
|
|
- fprintf(stderr,
|
|
|
- "[exynos4210.rtc: bad TICNT value %u ]\n",
|
|
|
- (uint32_t)value);
|
|
|
+ qemu_log_mask(LOG_GUEST_ERROR,
|
|
|
+ "exynos4210.rtc: bad TICNT value %u",
|
|
|
+ (uint32_t)value);
|
|
|
}
|
|
|
break;
|
|
|
|
|
@@ -500,9 +501,9 @@ static void exynos4210_rtc_write(void *opaque, hwaddr offset,
|
|
|
break;
|
|
|
|
|
|
default:
|
|
|
- fprintf(stderr,
|
|
|
- "[exynos4210.rtc: bad write offset " TARGET_FMT_plx "]\n",
|
|
|
- offset);
|
|
|
+ qemu_log_mask(LOG_GUEST_ERROR,
|
|
|
+ "exynos4210.rtc: bad write offset " TARGET_FMT_plx,
|
|
|
+ offset);
|
|
|
break;
|
|
|
|
|
|
}
|