320 static void platform_bus_create_devtree(PPCE500MachineState *pms,  in platform_bus_create_devtree()  argument
323     const PPCE500MachineClass *pmc = PPCE500_MACHINE_GET_CLASS(pms);  in platform_bus_create_devtree()
351         .pbus = pms->pbus_dev,  in platform_bus_create_devtree()
367 static int ppce500_load_device_tree(PPCE500MachineState *pms,  in ppce500_load_device_tree()  argument
375     MachineState *machine = MACHINE(pms);  in ppce500_load_device_tree()
377     const PPCE500MachineClass *pmc = PPCE500_MACHINE_GET_CLASS(pms);  in ppce500_load_device_tree()
648     platform_bus_create_devtree(pms, fdt, mpic);  in ppce500_load_device_tree()
805 static DeviceState *ppce500_init_mpic_qemu(PPCE500MachineState *pms,  in ppce500_init_mpic_qemu()  argument
811     MachineState *machine = MACHINE(pms);  in ppce500_init_mpic_qemu()
813     const PPCE500MachineClass *pmc = PPCE500_MACHINE_GET_CLASS(pms);  in ppce500_init_mpic_qemu()
862 static DeviceState *ppce500_init_mpic(PPCE500MachineState *pms,  in ppce500_init_mpic()  argument
866     const PPCE500MachineClass *pmc = PPCE500_MACHINE_GET_CLASS(pms);  in ppce500_init_mpic()
884         dev = ppce500_init_mpic_qemu(pms, irqs);  in ppce500_init_mpic()
904     PPCE500MachineState *pms = PPCE500_MACHINE(machine);  in ppce500_init()  local
1003     mpicdev = ppce500_init_mpic(pms, ccsr_addr_space, irqs);  in ppce500_init()
1108     pms->pbus_dev = PLATFORM_BUS_DEVICE(dev);  in ppce500_init()
1110     s = SYS_BUS_DEVICE(pms->pbus_dev);  in ppce500_init()
1118                                 &pms->pbus_dev->mmio);  in ppce500_init()
1124         uint64_t mmio_size = memory_region_size(&pms->pbus_dev->mmio);  in ppce500_init()
1158         memory_region_add_subregion(&pms->pbus_dev->mmio, 0,  in ppce500_init()
1267     dt_size = ppce500_prep_device_tree(pms, dt_base,  in ppce500_init()