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