mmu-hash*: Don't keep looking for PTEs after we find a match
[qemu/agraf.git] / hw / ppc / mpc8544ds.c
blobcf29788c4da8d9dd1b93d800a0af5e6b6cadc11a
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 "config.h"
13 #include "qemu-common.h"
14 #include "e500.h"
15 #include "hw/boards.h"
16 #include "sysemu/device_tree.h"
17 #include "hw/openpic.h"
19 static void mpc8544ds_fixup_devtree(PPCE500Params *params, void *fdt)
21 const char model[] = "MPC8544DS";
22 const char compatible[] = "MPC8544DS\0MPC85xxDS";
24 qemu_devtree_setprop(fdt, "/", "model", model, sizeof(model));
25 qemu_devtree_setprop(fdt, "/", "compatible", compatible,
26 sizeof(compatible));
29 static void mpc8544ds_init(QEMUMachineInitArgs *args)
31 ram_addr_t ram_size = args->ram_size;
32 const char *boot_device = args->boot_device;
33 const char *cpu_model = args->cpu_model;
34 const char *kernel_filename = args->kernel_filename;
35 const char *kernel_cmdline = args->kernel_cmdline;
36 const char *initrd_filename = args->initrd_filename;
37 PPCE500Params params = {
38 .ram_size = ram_size,
39 .boot_device = boot_device,
40 .kernel_filename = kernel_filename,
41 .kernel_cmdline = kernel_cmdline,
42 .initrd_filename = initrd_filename,
43 .cpu_model = cpu_model,
44 .pci_first_slot = 0x11,
45 .pci_nr_slots = 2,
46 .fixup_devtree = mpc8544ds_fixup_devtree,
47 .mpic_version = OPENPIC_MODEL_FSL_MPIC_20,
50 ppce500_init(&params);
54 static QEMUMachine ppce500_machine = {
55 .name = "mpc8544ds",
56 .desc = "mpc8544ds",
57 .init = mpc8544ds_init,
58 .max_cpus = 15,
59 DEFAULT_MACHINE_OPTIONS,
62 static void ppce500_machine_init(void)
64 qemu_register_machine(&ppce500_machine);
67 machine_init(ppce500_machine_init);