Revision 7e1543c2 hw/realview.c

b/hw/realview.c
57 57

  
58 58
    pl181_init(0x10005000, sd_bdrv, pic[17], pic[18]);
59 59

  
60
    pl031_init(0x10017000, pic[10]);
61

  
60 62
    pci_bus = pci_vpb_init(pic, 48, 1);
61 63
    if (usb_enabled) {
62 64
        usb_ohci_init_pci(pci_bus, 3, -1);
......
102 104
    /*  0x10014000 GPIO 1.  */
103 105
    /*  0x10015000 GPIO 2.  */
104 106
    /* 0x10016000 Reserved.  */
105
    /*  0x10017000 RTC.  */
107
    /* 0x10017000 RTC.  */
106 108
    /*  0x10018000 DMC.  */
107 109
    /*  0x10019000 PCI controller config.  */
108 110
    /*  0x10020000 CLCD.  */

Also available in: Unified diff