Revision 187337f8 hw/versatilepb.c

b/hw/versatilepb.c
140 140
    s->irq = irq;
141 141
    iomemtype = cpu_register_io_memory(0, vpb_sic_readfn,
142 142
                                       vpb_sic_writefn, s);
143
    cpu_register_physical_memory(base, 0x00000fff, iomemtype);
143
    cpu_register_physical_memory(base, 0x00001000, iomemtype);
144 144
    /* ??? Save/restore.  */
145 145
    return qi;
146 146
}

Also available in: Unified diff