1 #ifndef PPCE500_H 2 #define PPCE500_H 3 4 #include "hw/boards.h" 5 6 typedef struct PPCE500Params { 7 int pci_first_slot; 8 int pci_nr_slots; 9 10 /* required -- must at least add toplevel board compatible */ 11 void (*fixup_devtree)(struct PPCE500Params *params, void *fdt); 12 13 int mpic_version; 14 bool has_mpc8xxx_gpio; 15 } PPCE500Params; 16 17 void ppce500_init(MachineState *machine, PPCE500Params *params); 18 19 #endif 20