Revision f7c70325 hw/arm_gic.c

b/hw/arm_gic.c
607 607
    switch (offset) {
608 608
    case 0x00: /* Control */
609 609
        s->cpu_enabled[cpu] = (value & 1);
610
        DPRINTF("CPU %sabled\n", s->cpu_enabled ? "En" : "Dis");
610
        DPRINTF("CPU %d %sabled\n", cpu, s->cpu_enabled ? "En" : "Dis");
611 611
        break;
612 612
    case 0x04: /* Priority mask */
613 613
        s->priority_mask[cpu] = (value & 0xff);

Also available in: Unified diff