diff options
| -rw-r--r-- | hw/arm_gic.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/hw/arm_gic.c b/hw/arm_gic.c index 250efad360..58d840415c 100644 --- a/hw/arm_gic.c +++ b/hw/arm_gic.c @@ -460,7 +460,7 @@ static uint32_t gic_cpu_read(void *opaque, target_phys_addr_t offset) case 0x18: /* Highest Pending Interrupt */ return s->current_pending; default: - cpu_abort (cpu_single_env, "gic_cpu_writeb: Bad offset %x\n", offset); + cpu_abort (cpu_single_env, "gic_cpu_read: Bad offset %x\n", offset); return 0; } } @@ -484,7 +484,7 @@ static void gic_cpu_write(void *opaque, target_phys_addr_t offset, case 0x10: /* End Of Interrupt */ return gic_complete_irq(s, value & 0x3ff); default: - cpu_abort (cpu_single_env, "gic_cpu_writeb: Bad offset %x\n", offset); + cpu_abort (cpu_single_env, "gic_cpu_write: Bad offset %x\n", offset); return; } gic_update(s); |