s390x/tcg: Implement VECTOR COUNT LEADING ZEROS
[qemu/ar7.git] / hw / ppc / mpc8544ds.c
blobab30a2a99eec410d8eb4ebed0e0cf068b498e660
1 /*
2 * Support for the PPC e500-based mpc8544ds board
4 * Copyright 2012 Freescale Semiconductor, Inc.
6 * This is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License as published by
8 * the Free Software Foundation; either version 2 of the License, or
9 * (at your option) any later version.
12 #include "qemu/osdep.h"
13 #include "qemu-common.h"
14 #include "e500.h"
15 #include "hw/boards.h"
16 #include "sysemu/device_tree.h"
17 #include "hw/ppc/openpic.h"
18 #include "qemu/error-report.h"
19 #include "cpu.h"
21 static void mpc8544ds_fixup_devtree(void *fdt)
23 const char model[] = "MPC8544DS";
24 const char compatible[] = "MPC8544DS\0MPC85xxDS";
26 qemu_fdt_setprop(fdt, "/", "model", model, sizeof(model));
27 qemu_fdt_setprop(fdt, "/", "compatible", compatible,
28 sizeof(compatible));
31 static void mpc8544ds_init(MachineState *machine)
33 if (machine->ram_size > 0xc0000000) {
34 error_report("The MPC8544DS board only supports up to 3GB of RAM");
35 exit(1);
38 ppce500_init(machine);
41 static void e500plat_machine_class_init(ObjectClass *oc, void *data)
43 MachineClass *mc = MACHINE_CLASS(oc);
44 PPCE500MachineClass *pmc = PPCE500_MACHINE_CLASS(oc);
46 pmc->pci_first_slot = 0x11;
47 pmc->pci_nr_slots = 2;
48 pmc->fixup_devtree = mpc8544ds_fixup_devtree;
49 pmc->mpic_version = OPENPIC_MODEL_FSL_MPIC_20;
50 pmc->ccsrbar_base = 0xE0000000ULL;
51 pmc->pci_mmio_base = 0xC0000000ULL;
52 pmc->pci_mmio_bus_base = 0xC0000000ULL;
53 pmc->pci_pio_base = 0xE1000000ULL;
54 pmc->spin_base = 0xEF000000ULL;
56 mc->desc = "mpc8544ds";
57 mc->init = mpc8544ds_init;
58 mc->max_cpus = 15;
59 mc->default_cpu_type = POWERPC_CPU_TYPE_NAME("e500v2_v30");
62 #define TYPE_MPC8544DS_MACHINE MACHINE_TYPE_NAME("mpc8544ds")
64 static const TypeInfo mpc8544ds_info = {
65 .name = TYPE_MPC8544DS_MACHINE,
66 .parent = TYPE_PPCE500_MACHINE,
67 .class_init = e500plat_machine_class_init,
70 static void mpc8544ds_register_types(void)
72 type_register_static(&mpc8544ds_info);
75 type_init(mpc8544ds_register_types)