2012-07-02 17:03:20 +04:00
|
|
|
#ifndef PPCE500_H
|
|
|
|
#define PPCE500_H
|
|
|
|
|
2013-08-16 15:13:49 +04:00
|
|
|
#include "hw/boards.h"
|
|
|
|
|
2012-07-02 17:03:20 +04:00
|
|
|
typedef struct PPCE500Params {
|
2012-12-12 16:53:53 +04:00
|
|
|
int pci_first_slot;
|
|
|
|
int pci_nr_slots;
|
2012-07-02 17:03:20 +04:00
|
|
|
|
|
|
|
/* required -- must at least add toplevel board compatible */
|
|
|
|
void (*fixup_devtree)(struct PPCE500Params *params, void *fdt);
|
2013-01-21 19:53:55 +04:00
|
|
|
|
|
|
|
int mpic_version;
|
2014-10-01 18:00:49 +04:00
|
|
|
bool has_mpc8xxx_gpio;
|
2014-07-01 18:27:09 +04:00
|
|
|
bool has_platform_bus;
|
|
|
|
hwaddr platform_bus_base;
|
|
|
|
hwaddr platform_bus_size;
|
|
|
|
int platform_bus_first_irq;
|
|
|
|
int platform_bus_num_irqs;
|
2012-07-02 17:03:20 +04:00
|
|
|
} PPCE500Params;
|
|
|
|
|
2014-05-07 18:42:57 +04:00
|
|
|
void ppce500_init(MachineState *machine, PPCE500Params *params);
|
2012-07-02 17:03:20 +04:00
|
|
|
|
|
|
|
#endif
|