diff options
author | pbrook <pbrook@c046a42c-6fe2-441c-8c8c-71466251a162> | 2006-09-23 17:40:58 +0000 |
---|---|---|
committer | pbrook <pbrook@c046a42c-6fe2-441c-8c8c-71466251a162> | 2006-09-23 17:40:58 +0000 |
commit | e69954b9fc698996c8416a2fb26c6b50ad9f49a9 (patch) | |
tree | 5ac6f865266efe1345a4b7f737706eaf1c0ac1c7 /vl.h | |
parent | 37dd208d38ab9f65f9e15fd7fe2f0b75bc83220a (diff) |
Add ARM RealView Emulation Baseboard.
git-svn-id: svn://svn.savannah.nongnu.org/qemu/trunk@2164 c046a42c-6fe2-441c-8c8c-71466251a162
Diffstat (limited to 'vl.h')
-rw-r--r-- | vl.h | 13 |
1 files changed, 11 insertions, 2 deletions
@@ -778,7 +778,7 @@ PCIBus *pci_pmac_init(void *pic); PCIBus *pci_apb_init(target_ulong special_base, target_ulong mem_base, void *pic); -PCIBus *pci_vpb_init(void *pic); +PCIBus *pci_vpb_init(void *pic, int irq, int realview); /* piix_pci.c */ PCIBus *i440fx_init(void); @@ -1222,6 +1222,9 @@ extern QEMUMachine integratorcp1026_machine; extern QEMUMachine versatilepb_machine; extern QEMUMachine versatileab_machine; +/* realview.c */ +extern QEMUMachine realview_machine; + /* ps2.c */ void *ps2_kbd_init(void (*update_irq)(void *, int), void *update_arg); void *ps2_mouse_init(void (*update_irq)(void *, int), void *update_arg); @@ -1244,7 +1247,7 @@ void pl011_init(uint32_t base, void *pic, int irq, CharDriverState *chr); void pl050_init(uint32_t base, void *pic, int irq, int is_mouse); /* pl080.c */ -void *pl080_init(uint32_t base, void *pic, int irq); +void *pl080_init(uint32_t base, void *pic, int irq, int nchannels); /* pl190.c */ void *pl190_init(uint32_t base, void *parent, int irq, int fiq); @@ -1253,6 +1256,12 @@ void *pl190_init(uint32_t base, void *parent, int irq, int fiq); void sp804_init(uint32_t base, void *pic, int irq); void icp_pit_init(uint32_t base, void *pic, int irq); +/* arm_sysctl.c */ +void arm_sysctl_init(uint32_t base, uint32_t sys_id); + +/* arm_gic.c */ +void *arm_gic_init(uint32_t base, void *parent, int parent_irq); + /* arm_boot.c */ void arm_load_kernel(int ram_size, const char *kernel_filename, |