xref: /qemu/hw/riscv/spike.c (revision a7172791e356a16c60ed321a8b3a463b0f0724d3)
15b4beba1SMichael Clark /*
25b4beba1SMichael Clark  * QEMU RISC-V Spike Board
35b4beba1SMichael Clark  *
45b4beba1SMichael Clark  * Copyright (c) 2016-2017 Sagar Karandikar, sagark@eecs.berkeley.edu
55b4beba1SMichael Clark  * Copyright (c) 2017-2018 SiFive, Inc.
65b4beba1SMichael Clark  *
75b4beba1SMichael Clark  * This provides a RISC-V Board with the following devices:
85b4beba1SMichael Clark  *
95b4beba1SMichael Clark  * 0) HTIF Console and Poweroff
105b4beba1SMichael Clark  * 1) CLINT (Timer and IPI)
115b4beba1SMichael Clark  * 2) PLIC (Platform Level Interrupt Controller)
125b4beba1SMichael Clark  *
135b4beba1SMichael Clark  * This program is free software; you can redistribute it and/or modify it
145b4beba1SMichael Clark  * under the terms and conditions of the GNU General Public License,
155b4beba1SMichael Clark  * version 2 or later, as published by the Free Software Foundation.
165b4beba1SMichael Clark  *
175b4beba1SMichael Clark  * This program is distributed in the hope it will be useful, but WITHOUT
185b4beba1SMichael Clark  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
195b4beba1SMichael Clark  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
205b4beba1SMichael Clark  * more details.
215b4beba1SMichael Clark  *
225b4beba1SMichael Clark  * You should have received a copy of the GNU General Public License along with
235b4beba1SMichael Clark  * this program.  If not, see <http://www.gnu.org/licenses/>.
245b4beba1SMichael Clark  */
255b4beba1SMichael Clark 
265b4beba1SMichael Clark #include "qemu/osdep.h"
275b4beba1SMichael Clark #include "qemu/log.h"
285b4beba1SMichael Clark #include "qemu/error-report.h"
295b4beba1SMichael Clark #include "qapi/error.h"
305b4beba1SMichael Clark #include "hw/boards.h"
315b4beba1SMichael Clark #include "hw/loader.h"
325b4beba1SMichael Clark #include "hw/sysbus.h"
335b4beba1SMichael Clark #include "target/riscv/cpu.h"
345b4beba1SMichael Clark #include "hw/riscv/riscv_htif.h"
355b4beba1SMichael Clark #include "hw/riscv/riscv_hart.h"
365b4beba1SMichael Clark #include "hw/riscv/sifive_clint.h"
375b4beba1SMichael Clark #include "hw/riscv/spike.h"
380ac24d56SAlistair Francis #include "hw/riscv/boot.h"
39*a7172791SAnup Patel #include "hw/riscv/numa.h"
405b4beba1SMichael Clark #include "chardev/char.h"
415b4beba1SMichael Clark #include "sysemu/arch_init.h"
425b4beba1SMichael Clark #include "sysemu/device_tree.h"
43cd69e3a6SAlistair Francis #include "sysemu/qtest.h"
4446517dd4SMarkus Armbruster #include "sysemu/sysemu.h"
455aec3247SMichael Clark 
46fad14439SBin Meng /*
47fad14439SBin Meng  * Not like other RISC-V machines that use plain binary bios images,
48fad14439SBin Meng  * keeping ELF files here was intentional because BIN files don't work
49fad14439SBin Meng  * for the Spike machine as HTIF emulation depends on ELF parsing.
50fad14439SBin Meng  */
515b8a9863SAnup Patel #if defined(TARGET_RISCV32)
52fad14439SBin Meng # define BIOS_FILENAME "opensbi-riscv32-generic-fw_dynamic.elf"
535b8a9863SAnup Patel #else
54fad14439SBin Meng # define BIOS_FILENAME "opensbi-riscv64-generic-fw_dynamic.elf"
555b8a9863SAnup Patel #endif
565b8a9863SAnup Patel 
575b4beba1SMichael Clark static const struct MemmapEntry {
585b4beba1SMichael Clark     hwaddr base;
595b4beba1SMichael Clark     hwaddr size;
605b4beba1SMichael Clark } spike_memmap[] = {
619eb8b14aSBin Meng     [SPIKE_MROM] =     {     0x1000,     0xf000 },
625b4beba1SMichael Clark     [SPIKE_CLINT] =    {  0x2000000,    0x10000 },
635b4beba1SMichael Clark     [SPIKE_DRAM] =     { 0x80000000,        0x0 },
645b4beba1SMichael Clark };
655b4beba1SMichael Clark 
665b4beba1SMichael Clark static void create_fdt(SpikeState *s, const struct MemmapEntry *memmap,
675b4beba1SMichael Clark     uint64_t mem_size, const char *cmdline)
685b4beba1SMichael Clark {
695b4beba1SMichael Clark     void *fdt;
70*a7172791SAnup Patel     uint64_t addr, size;
71*a7172791SAnup Patel     unsigned long clint_addr;
72*a7172791SAnup Patel     int cpu, socket;
73*a7172791SAnup Patel     MachineState *mc = MACHINE(s);
74*a7172791SAnup Patel     uint32_t *clint_cells;
75*a7172791SAnup Patel     uint32_t cpu_phandle, intc_phandle, phandle = 1;
76*a7172791SAnup Patel     char *name, *mem_name, *clint_name, *clust_name;
77*a7172791SAnup Patel     char *core_name, *cpu_name, *intc_name;
785b4beba1SMichael Clark 
795b4beba1SMichael Clark     fdt = s->fdt = create_device_tree(&s->fdt_size);
805b4beba1SMichael Clark     if (!fdt) {
815b4beba1SMichael Clark         error_report("create_device_tree() failed");
825b4beba1SMichael Clark         exit(1);
835b4beba1SMichael Clark     }
845b4beba1SMichael Clark 
855b4beba1SMichael Clark     qemu_fdt_setprop_string(fdt, "/", "model", "ucbbar,spike-bare,qemu");
865b4beba1SMichael Clark     qemu_fdt_setprop_string(fdt, "/", "compatible", "ucbbar,spike-bare-dev");
875b4beba1SMichael Clark     qemu_fdt_setprop_cell(fdt, "/", "#size-cells", 0x2);
885b4beba1SMichael Clark     qemu_fdt_setprop_cell(fdt, "/", "#address-cells", 0x2);
895b4beba1SMichael Clark 
905b4beba1SMichael Clark     qemu_fdt_add_subnode(fdt, "/htif");
915b4beba1SMichael Clark     qemu_fdt_setprop_string(fdt, "/htif", "compatible", "ucb,htif0");
925b4beba1SMichael Clark 
935b4beba1SMichael Clark     qemu_fdt_add_subnode(fdt, "/soc");
945b4beba1SMichael Clark     qemu_fdt_setprop(fdt, "/soc", "ranges", NULL, 0);
95117caacfSAlistair Francis     qemu_fdt_setprop_string(fdt, "/soc", "compatible", "simple-bus");
965b4beba1SMichael Clark     qemu_fdt_setprop_cell(fdt, "/soc", "#size-cells", 0x2);
975b4beba1SMichael Clark     qemu_fdt_setprop_cell(fdt, "/soc", "#address-cells", 0x2);
985b4beba1SMichael Clark 
995b4beba1SMichael Clark     qemu_fdt_add_subnode(fdt, "/cpus");
1002a8756edSMichael Clark     qemu_fdt_setprop_cell(fdt, "/cpus", "timebase-frequency",
1012a8756edSMichael Clark         SIFIVE_CLINT_TIMEBASE_FREQ);
1025b4beba1SMichael Clark     qemu_fdt_setprop_cell(fdt, "/cpus", "#size-cells", 0x0);
1035b4beba1SMichael Clark     qemu_fdt_setprop_cell(fdt, "/cpus", "#address-cells", 0x1);
104*a7172791SAnup Patel     qemu_fdt_add_subnode(fdt, "/cpus/cpu-map");
1055b4beba1SMichael Clark 
106*a7172791SAnup Patel     for (socket = (riscv_socket_count(mc) - 1); socket >= 0; socket--) {
107*a7172791SAnup Patel         clust_name = g_strdup_printf("/cpus/cpu-map/cluster%d", socket);
108*a7172791SAnup Patel         qemu_fdt_add_subnode(fdt, clust_name);
109*a7172791SAnup Patel 
110*a7172791SAnup Patel         clint_cells =  g_new0(uint32_t, s->soc[socket].num_harts * 4);
111*a7172791SAnup Patel 
112*a7172791SAnup Patel         for (cpu = s->soc[socket].num_harts - 1; cpu >= 0; cpu--) {
113*a7172791SAnup Patel             cpu_phandle = phandle++;
114*a7172791SAnup Patel 
115*a7172791SAnup Patel             cpu_name = g_strdup_printf("/cpus/cpu@%d",
116*a7172791SAnup Patel                 s->soc[socket].hartid_base + cpu);
117*a7172791SAnup Patel             qemu_fdt_add_subnode(fdt, cpu_name);
118e883e992SBin Meng #if defined(TARGET_RISCV32)
119*a7172791SAnup Patel             qemu_fdt_setprop_string(fdt, cpu_name, "mmu-type", "riscv,sv32");
120e883e992SBin Meng #else
121*a7172791SAnup Patel             qemu_fdt_setprop_string(fdt, cpu_name, "mmu-type", "riscv,sv48");
122e883e992SBin Meng #endif
123*a7172791SAnup Patel             name = riscv_isa_string(&s->soc[socket].harts[cpu]);
124*a7172791SAnup Patel             qemu_fdt_setprop_string(fdt, cpu_name, "riscv,isa", name);
125*a7172791SAnup Patel             g_free(name);
126*a7172791SAnup Patel             qemu_fdt_setprop_string(fdt, cpu_name, "compatible", "riscv");
127*a7172791SAnup Patel             qemu_fdt_setprop_string(fdt, cpu_name, "status", "okay");
128*a7172791SAnup Patel             qemu_fdt_setprop_cell(fdt, cpu_name, "reg",
129*a7172791SAnup Patel                 s->soc[socket].hartid_base + cpu);
130*a7172791SAnup Patel             qemu_fdt_setprop_string(fdt, cpu_name, "device_type", "cpu");
131*a7172791SAnup Patel             riscv_socket_fdt_write_id(mc, fdt, cpu_name, socket);
132*a7172791SAnup Patel             qemu_fdt_setprop_cell(fdt, cpu_name, "phandle", cpu_phandle);
133*a7172791SAnup Patel 
134*a7172791SAnup Patel             intc_name = g_strdup_printf("%s/interrupt-controller", cpu_name);
135*a7172791SAnup Patel             qemu_fdt_add_subnode(fdt, intc_name);
136*a7172791SAnup Patel             intc_phandle = phandle++;
137*a7172791SAnup Patel             qemu_fdt_setprop_cell(fdt, intc_name, "phandle", intc_phandle);
138*a7172791SAnup Patel             qemu_fdt_setprop_string(fdt, intc_name, "compatible",
139*a7172791SAnup Patel                 "riscv,cpu-intc");
140*a7172791SAnup Patel             qemu_fdt_setprop(fdt, intc_name, "interrupt-controller", NULL, 0);
141*a7172791SAnup Patel             qemu_fdt_setprop_cell(fdt, intc_name, "#interrupt-cells", 1);
142*a7172791SAnup Patel 
143*a7172791SAnup Patel             clint_cells[cpu * 4 + 0] = cpu_to_be32(intc_phandle);
144*a7172791SAnup Patel             clint_cells[cpu * 4 + 1] = cpu_to_be32(IRQ_M_SOFT);
145*a7172791SAnup Patel             clint_cells[cpu * 4 + 2] = cpu_to_be32(intc_phandle);
146*a7172791SAnup Patel             clint_cells[cpu * 4 + 3] = cpu_to_be32(IRQ_M_TIMER);
147*a7172791SAnup Patel 
148*a7172791SAnup Patel             core_name = g_strdup_printf("%s/core%d", clust_name, cpu);
149*a7172791SAnup Patel             qemu_fdt_add_subnode(fdt, core_name);
150*a7172791SAnup Patel             qemu_fdt_setprop_cell(fdt, core_name, "cpu", cpu_phandle);
151*a7172791SAnup Patel 
152*a7172791SAnup Patel             g_free(core_name);
153*a7172791SAnup Patel             g_free(intc_name);
154*a7172791SAnup Patel             g_free(cpu_name);
1555b4beba1SMichael Clark         }
1565b4beba1SMichael Clark 
157*a7172791SAnup Patel         addr = memmap[SPIKE_DRAM].base + riscv_socket_mem_offset(mc, socket);
158*a7172791SAnup Patel         size = riscv_socket_mem_size(mc, socket);
159*a7172791SAnup Patel         mem_name = g_strdup_printf("/memory@%lx", (long)addr);
160*a7172791SAnup Patel         qemu_fdt_add_subnode(fdt, mem_name);
161*a7172791SAnup Patel         qemu_fdt_setprop_cells(fdt, mem_name, "reg",
162*a7172791SAnup Patel             addr >> 32, addr, size >> 32, size);
163*a7172791SAnup Patel         qemu_fdt_setprop_string(fdt, mem_name, "device_type", "memory");
164*a7172791SAnup Patel         riscv_socket_fdt_write_id(mc, fdt, mem_name, socket);
165*a7172791SAnup Patel         g_free(mem_name);
166*a7172791SAnup Patel 
167*a7172791SAnup Patel         clint_addr = memmap[SPIKE_CLINT].base +
168*a7172791SAnup Patel             (memmap[SPIKE_CLINT].size * socket);
169*a7172791SAnup Patel         clint_name = g_strdup_printf("/soc/clint@%lx", clint_addr);
170*a7172791SAnup Patel         qemu_fdt_add_subnode(fdt, clint_name);
171*a7172791SAnup Patel         qemu_fdt_setprop_string(fdt, clint_name, "compatible", "riscv,clint0");
172*a7172791SAnup Patel         qemu_fdt_setprop_cells(fdt, clint_name, "reg",
173*a7172791SAnup Patel             0x0, clint_addr, 0x0, memmap[SPIKE_CLINT].size);
174*a7172791SAnup Patel         qemu_fdt_setprop(fdt, clint_name, "interrupts-extended",
175*a7172791SAnup Patel             clint_cells, s->soc[socket].num_harts * sizeof(uint32_t) * 4);
176*a7172791SAnup Patel         riscv_socket_fdt_write_id(mc, fdt, clint_name, socket);
177*a7172791SAnup Patel 
178*a7172791SAnup Patel         g_free(clint_name);
179*a7172791SAnup Patel         g_free(clint_cells);
180*a7172791SAnup Patel         g_free(clust_name);
1815b4beba1SMichael Clark     }
182*a7172791SAnup Patel 
183*a7172791SAnup Patel     riscv_socket_fdt_write_distance_matrix(mc, fdt);
1845b4beba1SMichael Clark 
1857c28f4daSMichael Clark     if (cmdline) {
1865b4beba1SMichael Clark         qemu_fdt_add_subnode(fdt, "/chosen");
1875b4beba1SMichael Clark         qemu_fdt_setprop_string(fdt, "/chosen", "bootargs", cmdline);
1885b4beba1SMichael Clark     }
1897c28f4daSMichael Clark }
1905b4beba1SMichael Clark 
191cd69e3a6SAlistair Francis static void spike_board_init(MachineState *machine)
192cd69e3a6SAlistair Francis {
193cd69e3a6SAlistair Francis     const struct MemmapEntry *memmap = spike_memmap;
194*a7172791SAnup Patel     SpikeState *s = SPIKE_MACHINE(machine);
195cd69e3a6SAlistair Francis     MemoryRegion *system_memory = get_system_memory();
196cd69e3a6SAlistair Francis     MemoryRegion *main_mem = g_new(MemoryRegion, 1);
197cd69e3a6SAlistair Francis     MemoryRegion *mask_rom = g_new(MemoryRegion, 1);
19866b1205bSAtish Patra     uint32_t fdt_load_addr;
199dc144fe1SAtish Patra     uint64_t kernel_entry;
200*a7172791SAnup Patel     char *soc_name;
201*a7172791SAnup Patel     int i, base_hartid, hart_count;
202cd69e3a6SAlistair Francis 
203*a7172791SAnup Patel     /* Check socket count limit */
204*a7172791SAnup Patel     if (SPIKE_SOCKETS_MAX < riscv_socket_count(machine)) {
205*a7172791SAnup Patel         error_report("number of sockets/nodes should be less than %d",
206*a7172791SAnup Patel             SPIKE_SOCKETS_MAX);
207*a7172791SAnup Patel         exit(1);
208*a7172791SAnup Patel     }
209*a7172791SAnup Patel 
210*a7172791SAnup Patel     /* Initialize sockets */
211*a7172791SAnup Patel     for (i = 0; i < riscv_socket_count(machine); i++) {
212*a7172791SAnup Patel         if (!riscv_socket_check_hartids(machine, i)) {
213*a7172791SAnup Patel             error_report("discontinuous hartids in socket%d", i);
214*a7172791SAnup Patel             exit(1);
215*a7172791SAnup Patel         }
216*a7172791SAnup Patel 
217*a7172791SAnup Patel         base_hartid = riscv_socket_first_hartid(machine, i);
218*a7172791SAnup Patel         if (base_hartid < 0) {
219*a7172791SAnup Patel             error_report("can't find hartid base for socket%d", i);
220*a7172791SAnup Patel             exit(1);
221*a7172791SAnup Patel         }
222*a7172791SAnup Patel 
223*a7172791SAnup Patel         hart_count = riscv_socket_hart_count(machine, i);
224*a7172791SAnup Patel         if (hart_count < 0) {
225*a7172791SAnup Patel             error_report("can't find hart count for socket%d", i);
226*a7172791SAnup Patel             exit(1);
227*a7172791SAnup Patel         }
228*a7172791SAnup Patel 
229*a7172791SAnup Patel         soc_name = g_strdup_printf("soc%d", i);
230*a7172791SAnup Patel         object_initialize_child(OBJECT(machine), soc_name, &s->soc[i],
23175a6ed87SMarkus Armbruster                                 TYPE_RISCV_HART_ARRAY);
232*a7172791SAnup Patel         g_free(soc_name);
233*a7172791SAnup Patel         object_property_set_str(OBJECT(&s->soc[i]), "cpu-type",
234*a7172791SAnup Patel                                 machine->cpu_type, &error_abort);
235*a7172791SAnup Patel         object_property_set_int(OBJECT(&s->soc[i]), "hartid-base",
236*a7172791SAnup Patel                                 base_hartid, &error_abort);
237*a7172791SAnup Patel         object_property_set_int(OBJECT(&s->soc[i]), "num-harts",
238*a7172791SAnup Patel                                 hart_count, &error_abort);
239*a7172791SAnup Patel         sysbus_realize(SYS_BUS_DEVICE(&s->soc[i]), &error_abort);
240*a7172791SAnup Patel 
241*a7172791SAnup Patel         /* Core Local Interruptor (timer and IPI) for each socket */
242*a7172791SAnup Patel         sifive_clint_create(
243*a7172791SAnup Patel             memmap[SPIKE_CLINT].base + i * memmap[SPIKE_CLINT].size,
244*a7172791SAnup Patel             memmap[SPIKE_CLINT].size, base_hartid, hart_count,
245*a7172791SAnup Patel             SIFIVE_SIP_BASE, SIFIVE_TIMECMP_BASE, SIFIVE_TIME_BASE, false);
246*a7172791SAnup Patel     }
247cd69e3a6SAlistair Francis 
248cd69e3a6SAlistair Francis     /* register system main memory (actual RAM) */
249cd69e3a6SAlistair Francis     memory_region_init_ram(main_mem, NULL, "riscv.spike.ram",
250cd69e3a6SAlistair Francis                            machine->ram_size, &error_fatal);
251cd69e3a6SAlistair Francis     memory_region_add_subregion(system_memory, memmap[SPIKE_DRAM].base,
252cd69e3a6SAlistair Francis         main_mem);
253cd69e3a6SAlistair Francis 
254cd69e3a6SAlistair Francis     /* create device tree */
255cd69e3a6SAlistair Francis     create_fdt(s, memmap, machine->ram_size, machine->kernel_cmdline);
256cd69e3a6SAlistair Francis 
257cd69e3a6SAlistair Francis     /* boot rom */
258cd69e3a6SAlistair Francis     memory_region_init_rom(mask_rom, NULL, "riscv.spike.mrom",
259cd69e3a6SAlistair Francis                            memmap[SPIKE_MROM].size, &error_fatal);
260cd69e3a6SAlistair Francis     memory_region_add_subregion(system_memory, memmap[SPIKE_MROM].base,
261cd69e3a6SAlistair Francis                                 mask_rom);
262cd69e3a6SAlistair Francis 
2635b8a9863SAnup Patel     riscv_find_and_load_firmware(machine, BIOS_FILENAME,
2645b8a9863SAnup Patel                                  memmap[SPIKE_DRAM].base,
2655b8a9863SAnup Patel                                  htif_symbol_callback);
2665b8a9863SAnup Patel 
267cd69e3a6SAlistair Francis     if (machine->kernel_filename) {
268dc144fe1SAtish Patra         kernel_entry = riscv_load_kernel(machine->kernel_filename,
2695b8a9863SAnup Patel                                          htif_symbol_callback);
2705b8a9863SAnup Patel 
2715b8a9863SAnup Patel         if (machine->initrd_filename) {
2725b8a9863SAnup Patel             hwaddr start;
2735b8a9863SAnup Patel             hwaddr end = riscv_load_initrd(machine->initrd_filename,
2745b8a9863SAnup Patel                                            machine->ram_size, kernel_entry,
2755b8a9863SAnup Patel                                            &start);
2765b8a9863SAnup Patel             qemu_fdt_setprop_cell(s->fdt, "/chosen",
2775b8a9863SAnup Patel                                   "linux,initrd-start", start);
2785b8a9863SAnup Patel             qemu_fdt_setprop_cell(s->fdt, "/chosen", "linux,initrd-end",
2795b8a9863SAnup Patel                                   end);
2805b8a9863SAnup Patel         }
281dc144fe1SAtish Patra     } else {
282dc144fe1SAtish Patra        /*
283dc144fe1SAtish Patra         * If dynamic firmware is used, it doesn't know where is the next mode
284dc144fe1SAtish Patra         * if kernel argument is not set.
285dc144fe1SAtish Patra         */
286dc144fe1SAtish Patra         kernel_entry = 0;
287cd69e3a6SAlistair Francis     }
288cd69e3a6SAlistair Francis 
28966b1205bSAtish Patra     /* Compute the fdt load address in dram */
29066b1205bSAtish Patra     fdt_load_addr = riscv_load_fdt(memmap[SPIKE_DRAM].base,
29166b1205bSAtish Patra                                    machine->ram_size, s->fdt);
29243cf723aSAtish Patra     /* load the reset vector */
29343cf723aSAtish Patra     riscv_setup_rom_reset_vec(memmap[SPIKE_DRAM].base, memmap[SPIKE_MROM].base,
294dc144fe1SAtish Patra                               memmap[SPIKE_MROM].size, kernel_entry,
29566b1205bSAtish Patra                               fdt_load_addr, s->fdt);
296cd69e3a6SAlistair Francis 
297cd69e3a6SAlistair Francis     /* initialize HTIF using symbols found in load_kernel */
298*a7172791SAnup Patel     htif_mm_init(system_memory, mask_rom,
299*a7172791SAnup Patel                  &s->soc[0].harts[0].env, serial_hd(0));
300cd69e3a6SAlistair Francis }
301cd69e3a6SAlistair Francis 
302*a7172791SAnup Patel static void spike_machine_instance_init(Object *obj)
303cd69e3a6SAlistair Francis {
304*a7172791SAnup Patel }
305*a7172791SAnup Patel 
306*a7172791SAnup Patel static void spike_machine_class_init(ObjectClass *oc, void *data)
307*a7172791SAnup Patel {
308*a7172791SAnup Patel     MachineClass *mc = MACHINE_CLASS(oc);
309*a7172791SAnup Patel 
310*a7172791SAnup Patel     mc->desc = "RISC-V Spike board";
311cd69e3a6SAlistair Francis     mc->init = spike_board_init;
312*a7172791SAnup Patel     mc->max_cpus = SPIKE_CPUS_MAX;
313ea0ac7f6SPhilippe Mathieu-Daudé     mc->is_default = true;
314cd69e3a6SAlistair Francis     mc->default_cpu_type = SPIKE_V1_10_0_CPU;
315*a7172791SAnup Patel     mc->possible_cpu_arch_ids = riscv_numa_possible_cpu_arch_ids;
316*a7172791SAnup Patel     mc->cpu_index_to_instance_props = riscv_numa_cpu_index_to_props;
317*a7172791SAnup Patel     mc->get_default_cpu_node_id = riscv_numa_get_default_cpu_node_id;
318*a7172791SAnup Patel     mc->numa_mem_supported = true;
3195b4beba1SMichael Clark }
3205b4beba1SMichael Clark 
321*a7172791SAnup Patel static const TypeInfo spike_machine_typeinfo = {
322*a7172791SAnup Patel     .name       = MACHINE_TYPE_NAME("spike"),
323*a7172791SAnup Patel     .parent     = TYPE_MACHINE,
324*a7172791SAnup Patel     .class_init = spike_machine_class_init,
325*a7172791SAnup Patel     .instance_init = spike_machine_instance_init,
326*a7172791SAnup Patel     .instance_size = sizeof(SpikeState),
327*a7172791SAnup Patel };
328*a7172791SAnup Patel 
329*a7172791SAnup Patel static void spike_machine_init_register_types(void)
330*a7172791SAnup Patel {
331*a7172791SAnup Patel     type_register_static(&spike_machine_typeinfo);
332*a7172791SAnup Patel }
333*a7172791SAnup Patel 
334*a7172791SAnup Patel type_init(spike_machine_init_register_types)
335