diff options
| author | Paul Brook <paul@codesourcery.com> | 2009-11-19 16:45:21 +0000 |
|---|---|---|
| committer | Paul Brook <paul@codesourcery.com> | 2009-11-19 16:45:21 +0000 |
| commit | f7c703250cef231085f07352b719bb91d71ea8a1 (patch) | |
| tree | 8a511980622c574aba59fd41d320a94bf025b010 /hw/arm_gic.c | |
| parent | 100555620f4c825c3d2d37ed4d8b921b4604c1f6 (diff) | |
ARM PBX-A9 board support
Implement ARM RealView PBX-A9 board support.
Signed-off-by: Paul Brook <paul@codesourcery.com>
Diffstat (limited to 'hw/arm_gic.c')
| -rw-r--r-- | hw/arm_gic.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hw/arm_gic.c b/hw/arm_gic.c index 536112bff5..c4afc6aeb5 100644 --- a/hw/arm_gic.c +++ b/hw/arm_gic.c @@ -607,7 +607,7 @@ static void gic_cpu_write(gic_state *s, int cpu, int offset, uint32_t value) switch (offset) { case 0x00: /* Control */ s->cpu_enabled[cpu] = (value & 1); - DPRINTF("CPU %sabled\n", s->cpu_enabled ? "En" : "Dis"); + DPRINTF("CPU %d %sabled\n", cpu, s->cpu_enabled ? "En" : "Dis"); break; case 0x04: /* Priority mask */ s->priority_mask[cpu] = (value & 0xff); |