xref: /qemu/hw/riscv/virt.c (revision 8f013700ebf96edb4d481e4d2471c3ed246c58ef)
104331d0bSMichael Clark /*
204331d0bSMichael Clark  * QEMU RISC-V VirtIO Board
304331d0bSMichael Clark  *
404331d0bSMichael Clark  * Copyright (c) 2017 SiFive, Inc.
504331d0bSMichael Clark  *
604331d0bSMichael Clark  * RISC-V machine with 16550a UART and VirtIO MMIO
704331d0bSMichael Clark  *
804331d0bSMichael Clark  * This program is free software; you can redistribute it and/or modify it
904331d0bSMichael Clark  * under the terms and conditions of the GNU General Public License,
1004331d0bSMichael Clark  * version 2 or later, as published by the Free Software Foundation.
1104331d0bSMichael Clark  *
1204331d0bSMichael Clark  * This program is distributed in the hope it will be useful, but WITHOUT
1304331d0bSMichael Clark  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
1404331d0bSMichael Clark  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
1504331d0bSMichael Clark  * more details.
1604331d0bSMichael Clark  *
1704331d0bSMichael Clark  * You should have received a copy of the GNU General Public License along with
1804331d0bSMichael Clark  * this program.  If not, see <http://www.gnu.org/licenses/>.
1904331d0bSMichael Clark  */
2004331d0bSMichael Clark 
2104331d0bSMichael Clark #include "qemu/osdep.h"
224bf46af7SPhilippe Mathieu-Daudé #include "qemu/units.h"
2304331d0bSMichael Clark #include "qemu/error-report.h"
2404331d0bSMichael Clark #include "qapi/error.h"
2504331d0bSMichael Clark #include "hw/boards.h"
2604331d0bSMichael Clark #include "hw/loader.h"
2704331d0bSMichael Clark #include "hw/sysbus.h"
2871eb522cSAlistair Francis #include "hw/qdev-properties.h"
2904331d0bSMichael Clark #include "hw/char/serial.h"
3004331d0bSMichael Clark #include "target/riscv/cpu.h"
3104331d0bSMichael Clark #include "hw/riscv/riscv_hart.h"
3204331d0bSMichael Clark #include "hw/riscv/virt.h"
330ac24d56SAlistair Francis #include "hw/riscv/boot.h"
3418df0b46SAnup Patel #include "hw/riscv/numa.h"
35cc63a182SAnup Patel #include "hw/intc/riscv_aclint.h"
36e6faee65SAnup Patel #include "hw/intc/riscv_aplic.h"
3728d8c281SAnup Patel #include "hw/intc/riscv_imsic.h"
3884fcf3c1SBin Meng #include "hw/intc/sifive_plic.h"
39a4b84608SBin Meng #include "hw/misc/sifive_test.h"
4004331d0bSMichael Clark #include "chardev/char.h"
4104331d0bSMichael Clark #include "sysemu/device_tree.h"
4246517dd4SMarkus Armbruster #include "sysemu/sysemu.h"
43ad40be27SYifei Jiang #include "sysemu/kvm.h"
446d56e396SAlistair Francis #include "hw/pci/pci.h"
456d56e396SAlistair Francis #include "hw/pci-host/gpex.h"
46c346749eSAsherah Connor #include "hw/display/ramfb.h"
4704331d0bSMichael Clark 
480631aaaeSAnup Patel /*
490631aaaeSAnup Patel  * The virt machine physical address space used by some of the devices
500631aaaeSAnup Patel  * namely ACLINT, PLIC, APLIC, and IMSIC depend on number of Sockets,
510631aaaeSAnup Patel  * number of CPUs, and number of IMSIC guest files.
520631aaaeSAnup Patel  *
530631aaaeSAnup Patel  * Various limits defined by VIRT_SOCKETS_MAX_BITS, VIRT_CPUS_MAX_BITS,
540631aaaeSAnup Patel  * and VIRT_IRQCHIP_MAX_GUESTS_BITS are tuned for maximum utilization
550631aaaeSAnup Patel  * of virt machine physical address space.
560631aaaeSAnup Patel  */
570631aaaeSAnup Patel 
5828d8c281SAnup Patel #define VIRT_IMSIC_GROUP_MAX_SIZE      (1U << IMSIC_MMIO_GROUP_MIN_SHIFT)
5928d8c281SAnup Patel #if VIRT_IMSIC_GROUP_MAX_SIZE < \
6028d8c281SAnup Patel     IMSIC_GROUP_SIZE(VIRT_CPUS_MAX_BITS, VIRT_IRQCHIP_MAX_GUESTS_BITS)
6128d8c281SAnup Patel #error "Can't accomodate single IMSIC group in address space"
6228d8c281SAnup Patel #endif
6328d8c281SAnup Patel 
6428d8c281SAnup Patel #define VIRT_IMSIC_MAX_SIZE            (VIRT_SOCKETS_MAX * \
6528d8c281SAnup Patel                                         VIRT_IMSIC_GROUP_MAX_SIZE)
6628d8c281SAnup Patel #if 0x4000000 < VIRT_IMSIC_MAX_SIZE
6728d8c281SAnup Patel #error "Can't accomodate all IMSIC groups in address space"
6828d8c281SAnup Patel #endif
6928d8c281SAnup Patel 
7073261285SBin Meng static const MemMapEntry virt_memmap[] = {
7104331d0bSMichael Clark     [VIRT_DEBUG] =       {        0x0,         0x100 },
729eb8b14aSBin Meng     [VIRT_MROM] =        {     0x1000,        0xf000 },
735aec3247SMichael Clark     [VIRT_TEST] =        {   0x100000,        0x1000 },
7467b5ef30SAnup Patel     [VIRT_RTC] =         {   0x101000,        0x1000 },
7504331d0bSMichael Clark     [VIRT_CLINT] =       {  0x2000000,       0x10000 },
76954886eaSAnup Patel     [VIRT_ACLINT_SSWI] = {  0x2F00000,        0x4000 },
772c44bbf3SBin Meng     [VIRT_PCIE_PIO] =    {  0x3000000,       0x10000 },
7818df0b46SAnup Patel     [VIRT_PLIC] =        {  0xc000000, VIRT_PLIC_SIZE(VIRT_CPUS_MAX * 2) },
79e6faee65SAnup Patel     [VIRT_APLIC_M] =     {  0xc000000, APLIC_SIZE(VIRT_CPUS_MAX) },
80e6faee65SAnup Patel     [VIRT_APLIC_S] =     {  0xd000000, APLIC_SIZE(VIRT_CPUS_MAX) },
8104331d0bSMichael Clark     [VIRT_UART0] =       { 0x10000000,         0x100 },
8204331d0bSMichael Clark     [VIRT_VIRTIO] =      { 0x10001000,        0x1000 },
830489348dSAsherah Connor     [VIRT_FW_CFG] =      { 0x10100000,          0x18 },
846911fde4SAlistair Francis     [VIRT_FLASH] =       { 0x20000000,     0x4000000 },
8528d8c281SAnup Patel     [VIRT_IMSIC_M] =     { 0x24000000, VIRT_IMSIC_MAX_SIZE },
8628d8c281SAnup Patel     [VIRT_IMSIC_S] =     { 0x28000000, VIRT_IMSIC_MAX_SIZE },
876d56e396SAlistair Francis     [VIRT_PCIE_ECAM] =   { 0x30000000,    0x10000000 },
882c44bbf3SBin Meng     [VIRT_PCIE_MMIO] =   { 0x40000000,    0x40000000 },
892c44bbf3SBin Meng     [VIRT_DRAM] =        { 0x80000000,           0x0 },
9004331d0bSMichael Clark };
9104331d0bSMichael Clark 
9219800265SBin Meng /* PCIe high mmio is fixed for RV32 */
9319800265SBin Meng #define VIRT32_HIGH_PCIE_MMIO_BASE  0x300000000ULL
9419800265SBin Meng #define VIRT32_HIGH_PCIE_MMIO_SIZE  (4 * GiB)
9519800265SBin Meng 
9619800265SBin Meng /* PCIe high mmio for RV64, size is fixed but base depends on top of RAM */
9719800265SBin Meng #define VIRT64_HIGH_PCIE_MMIO_SIZE  (16 * GiB)
9819800265SBin Meng 
9919800265SBin Meng static MemMapEntry virt_high_pcie_memmap;
10019800265SBin Meng 
10171eb522cSAlistair Francis #define VIRT_FLASH_SECTOR_SIZE (256 * KiB)
10271eb522cSAlistair Francis 
10371eb522cSAlistair Francis static PFlashCFI01 *virt_flash_create1(RISCVVirtState *s,
10471eb522cSAlistair Francis                                        const char *name,
10571eb522cSAlistair Francis                                        const char *alias_prop_name)
10671eb522cSAlistair Francis {
10771eb522cSAlistair Francis     /*
10871eb522cSAlistair Francis      * Create a single flash device.  We use the same parameters as
10971eb522cSAlistair Francis      * the flash devices on the ARM virt board.
11071eb522cSAlistair Francis      */
111df707969SMarkus Armbruster     DeviceState *dev = qdev_new(TYPE_PFLASH_CFI01);
11271eb522cSAlistair Francis 
11371eb522cSAlistair Francis     qdev_prop_set_uint64(dev, "sector-length", VIRT_FLASH_SECTOR_SIZE);
11471eb522cSAlistair Francis     qdev_prop_set_uint8(dev, "width", 4);
11571eb522cSAlistair Francis     qdev_prop_set_uint8(dev, "device-width", 2);
11671eb522cSAlistair Francis     qdev_prop_set_bit(dev, "big-endian", false);
11771eb522cSAlistair Francis     qdev_prop_set_uint16(dev, "id0", 0x89);
11871eb522cSAlistair Francis     qdev_prop_set_uint16(dev, "id1", 0x18);
11971eb522cSAlistair Francis     qdev_prop_set_uint16(dev, "id2", 0x00);
12071eb522cSAlistair Francis     qdev_prop_set_uint16(dev, "id3", 0x00);
12171eb522cSAlistair Francis     qdev_prop_set_string(dev, "name", name);
12271eb522cSAlistair Francis 
123d2623129SMarkus Armbruster     object_property_add_child(OBJECT(s), name, OBJECT(dev));
12471eb522cSAlistair Francis     object_property_add_alias(OBJECT(s), alias_prop_name,
125d2623129SMarkus Armbruster                               OBJECT(dev), "drive");
12671eb522cSAlistair Francis 
12771eb522cSAlistair Francis     return PFLASH_CFI01(dev);
12871eb522cSAlistair Francis }
12971eb522cSAlistair Francis 
13071eb522cSAlistair Francis static void virt_flash_create(RISCVVirtState *s)
13171eb522cSAlistair Francis {
13271eb522cSAlistair Francis     s->flash[0] = virt_flash_create1(s, "virt.flash0", "pflash0");
13371eb522cSAlistair Francis     s->flash[1] = virt_flash_create1(s, "virt.flash1", "pflash1");
13471eb522cSAlistair Francis }
13571eb522cSAlistair Francis 
13671eb522cSAlistair Francis static void virt_flash_map1(PFlashCFI01 *flash,
13771eb522cSAlistair Francis                             hwaddr base, hwaddr size,
13871eb522cSAlistair Francis                             MemoryRegion *sysmem)
13971eb522cSAlistair Francis {
14071eb522cSAlistair Francis     DeviceState *dev = DEVICE(flash);
14171eb522cSAlistair Francis 
1424cdd0a77SPhilippe Mathieu-Daudé     assert(QEMU_IS_ALIGNED(size, VIRT_FLASH_SECTOR_SIZE));
14371eb522cSAlistair Francis     assert(size / VIRT_FLASH_SECTOR_SIZE <= UINT32_MAX);
14471eb522cSAlistair Francis     qdev_prop_set_uint32(dev, "num-blocks", size / VIRT_FLASH_SECTOR_SIZE);
1453c6ef471SMarkus Armbruster     sysbus_realize_and_unref(SYS_BUS_DEVICE(dev), &error_fatal);
14671eb522cSAlistair Francis 
14771eb522cSAlistair Francis     memory_region_add_subregion(sysmem, base,
14871eb522cSAlistair Francis                                 sysbus_mmio_get_region(SYS_BUS_DEVICE(dev),
14971eb522cSAlistair Francis                                                        0));
15071eb522cSAlistair Francis }
15171eb522cSAlistair Francis 
15271eb522cSAlistair Francis static void virt_flash_map(RISCVVirtState *s,
15371eb522cSAlistair Francis                            MemoryRegion *sysmem)
15471eb522cSAlistair Francis {
15571eb522cSAlistair Francis     hwaddr flashsize = virt_memmap[VIRT_FLASH].size / 2;
15671eb522cSAlistair Francis     hwaddr flashbase = virt_memmap[VIRT_FLASH].base;
15771eb522cSAlistair Francis 
15871eb522cSAlistair Francis     virt_flash_map1(s->flash[0], flashbase, flashsize,
15971eb522cSAlistair Francis                     sysmem);
16071eb522cSAlistair Francis     virt_flash_map1(s->flash[1], flashbase + flashsize, flashsize,
16171eb522cSAlistair Francis                     sysmem);
16271eb522cSAlistair Francis }
16371eb522cSAlistair Francis 
164e6faee65SAnup Patel static void create_pcie_irq_map(RISCVVirtState *s, void *fdt, char *nodename,
165e6faee65SAnup Patel                                 uint32_t irqchip_phandle)
1666d56e396SAlistair Francis {
1676d56e396SAlistair Francis     int pin, dev;
168e6faee65SAnup Patel     uint32_t irq_map_stride = 0;
169e6faee65SAnup Patel     uint32_t full_irq_map[GPEX_NUM_IRQS * GPEX_NUM_IRQS *
170e6faee65SAnup Patel                           FDT_MAX_INT_MAP_WIDTH] = {};
1716d56e396SAlistair Francis     uint32_t *irq_map = full_irq_map;
1726d56e396SAlistair Francis 
1736d56e396SAlistair Francis     /* This code creates a standard swizzle of interrupts such that
1746d56e396SAlistair Francis      * each device's first interrupt is based on it's PCI_SLOT number.
1756d56e396SAlistair Francis      * (See pci_swizzle_map_irq_fn())
1766d56e396SAlistair Francis      *
1776d56e396SAlistair Francis      * We only need one entry per interrupt in the table (not one per
1786d56e396SAlistair Francis      * possible slot) seeing the interrupt-map-mask will allow the table
1796d56e396SAlistair Francis      * to wrap to any number of devices.
1806d56e396SAlistair Francis      */
1816d56e396SAlistair Francis     for (dev = 0; dev < GPEX_NUM_IRQS; dev++) {
1826d56e396SAlistair Francis         int devfn = dev * 0x8;
1836d56e396SAlistair Francis 
1846d56e396SAlistair Francis         for (pin = 0; pin < GPEX_NUM_IRQS; pin++) {
1856d56e396SAlistair Francis             int irq_nr = PCIE_IRQ + ((pin + PCI_SLOT(devfn)) % GPEX_NUM_IRQS);
1866d56e396SAlistair Francis             int i = 0;
1876d56e396SAlistair Francis 
188e6faee65SAnup Patel             /* Fill PCI address cells */
1896d56e396SAlistair Francis             irq_map[i] = cpu_to_be32(devfn << 8);
1906d56e396SAlistair Francis             i += FDT_PCI_ADDR_CELLS;
191e6faee65SAnup Patel 
192e6faee65SAnup Patel             /* Fill PCI Interrupt cells */
1936d56e396SAlistair Francis             irq_map[i] = cpu_to_be32(pin + 1);
1946d56e396SAlistair Francis             i += FDT_PCI_INT_CELLS;
1956d56e396SAlistair Francis 
196e6faee65SAnup Patel             /* Fill interrupt controller phandle and cells */
197e6faee65SAnup Patel             irq_map[i++] = cpu_to_be32(irqchip_phandle);
198e6faee65SAnup Patel             irq_map[i++] = cpu_to_be32(irq_nr);
199e6faee65SAnup Patel             if (s->aia_type != VIRT_AIA_TYPE_NONE) {
200e6faee65SAnup Patel                 irq_map[i++] = cpu_to_be32(0x4);
201e6faee65SAnup Patel             }
2026d56e396SAlistair Francis 
203e6faee65SAnup Patel             if (!irq_map_stride) {
204e6faee65SAnup Patel                 irq_map_stride = i;
205e6faee65SAnup Patel             }
206e6faee65SAnup Patel             irq_map += irq_map_stride;
2076d56e396SAlistair Francis         }
2086d56e396SAlistair Francis     }
2096d56e396SAlistair Francis 
210e6faee65SAnup Patel     qemu_fdt_setprop(fdt, nodename, "interrupt-map", full_irq_map,
211e6faee65SAnup Patel                      GPEX_NUM_IRQS * GPEX_NUM_IRQS *
212e6faee65SAnup Patel                      irq_map_stride * sizeof(uint32_t));
2136d56e396SAlistair Francis 
2146d56e396SAlistair Francis     qemu_fdt_setprop_cells(fdt, nodename, "interrupt-map-mask",
2156d56e396SAlistair Francis                            0x1800, 0, 0, 0x7);
2166d56e396SAlistair Francis }
2176d56e396SAlistair Francis 
2180ffc1a95SAnup Patel static void create_fdt_socket_cpus(RISCVVirtState *s, int socket,
2190ffc1a95SAnup Patel                                    char *clust_name, uint32_t *phandle,
2200ffc1a95SAnup Patel                                    bool is_32_bit, uint32_t *intc_phandles)
22104331d0bSMichael Clark {
2220ffc1a95SAnup Patel     int cpu;
2230ffc1a95SAnup Patel     uint32_t cpu_phandle;
22418df0b46SAnup Patel     MachineState *mc = MACHINE(s);
2250ffc1a95SAnup Patel     char *name, *cpu_name, *core_name, *intc_name;
22618df0b46SAnup Patel 
22718df0b46SAnup Patel     for (cpu = s->soc[socket].num_harts - 1; cpu >= 0; cpu--) {
2280ffc1a95SAnup Patel         cpu_phandle = (*phandle)++;
22918df0b46SAnup Patel 
23018df0b46SAnup Patel         cpu_name = g_strdup_printf("/cpus/cpu@%d",
23118df0b46SAnup Patel             s->soc[socket].hartid_base + cpu);
2320ffc1a95SAnup Patel         qemu_fdt_add_subnode(mc->fdt, cpu_name);
2330ffc1a95SAnup Patel         qemu_fdt_setprop_string(mc->fdt, cpu_name, "mmu-type",
2340ffc1a95SAnup Patel             (is_32_bit) ? "riscv,sv32" : "riscv,sv48");
23518df0b46SAnup Patel         name = riscv_isa_string(&s->soc[socket].harts[cpu]);
2360ffc1a95SAnup Patel         qemu_fdt_setprop_string(mc->fdt, cpu_name, "riscv,isa", name);
23718df0b46SAnup Patel         g_free(name);
2380ffc1a95SAnup Patel         qemu_fdt_setprop_string(mc->fdt, cpu_name, "compatible", "riscv");
2390ffc1a95SAnup Patel         qemu_fdt_setprop_string(mc->fdt, cpu_name, "status", "okay");
2400ffc1a95SAnup Patel         qemu_fdt_setprop_cell(mc->fdt, cpu_name, "reg",
24118df0b46SAnup Patel             s->soc[socket].hartid_base + cpu);
2420ffc1a95SAnup Patel         qemu_fdt_setprop_string(mc->fdt, cpu_name, "device_type", "cpu");
2430ffc1a95SAnup Patel         riscv_socket_fdt_write_id(mc, mc->fdt, cpu_name, socket);
2440ffc1a95SAnup Patel         qemu_fdt_setprop_cell(mc->fdt, cpu_name, "phandle", cpu_phandle);
2450ffc1a95SAnup Patel 
2460ffc1a95SAnup Patel         intc_phandles[cpu] = (*phandle)++;
24718df0b46SAnup Patel 
24818df0b46SAnup Patel         intc_name = g_strdup_printf("%s/interrupt-controller", cpu_name);
2490ffc1a95SAnup Patel         qemu_fdt_add_subnode(mc->fdt, intc_name);
2500ffc1a95SAnup Patel         qemu_fdt_setprop_cell(mc->fdt, intc_name, "phandle",
2510ffc1a95SAnup Patel             intc_phandles[cpu]);
252d207863cSAnup Patel         if (riscv_feature(&s->soc[socket].harts[cpu].env,
253d207863cSAnup Patel                           RISCV_FEATURE_AIA)) {
254d207863cSAnup Patel             static const char * const compat[2] = {
255d207863cSAnup Patel                 "riscv,cpu-intc-aia", "riscv,cpu-intc"
256d207863cSAnup Patel             };
257d207863cSAnup Patel             qemu_fdt_setprop_string_array(mc->fdt, intc_name, "compatible",
258d207863cSAnup Patel                                       (char **)&compat, ARRAY_SIZE(compat));
259d207863cSAnup Patel         } else {
2600ffc1a95SAnup Patel             qemu_fdt_setprop_string(mc->fdt, intc_name, "compatible",
26118df0b46SAnup Patel                 "riscv,cpu-intc");
262d207863cSAnup Patel         }
2630ffc1a95SAnup Patel         qemu_fdt_setprop(mc->fdt, intc_name, "interrupt-controller", NULL, 0);
2640ffc1a95SAnup Patel         qemu_fdt_setprop_cell(mc->fdt, intc_name, "#interrupt-cells", 1);
26518df0b46SAnup Patel 
26618df0b46SAnup Patel         core_name = g_strdup_printf("%s/core%d", clust_name, cpu);
2670ffc1a95SAnup Patel         qemu_fdt_add_subnode(mc->fdt, core_name);
2680ffc1a95SAnup Patel         qemu_fdt_setprop_cell(mc->fdt, core_name, "cpu", cpu_phandle);
26918df0b46SAnup Patel 
27018df0b46SAnup Patel         g_free(core_name);
27118df0b46SAnup Patel         g_free(intc_name);
27218df0b46SAnup Patel         g_free(cpu_name);
27328a4df97SAtish Patra     }
2740ffc1a95SAnup Patel }
2750ffc1a95SAnup Patel 
2760ffc1a95SAnup Patel static void create_fdt_socket_memory(RISCVVirtState *s,
2770ffc1a95SAnup Patel                                      const MemMapEntry *memmap, int socket)
2780ffc1a95SAnup Patel {
2790ffc1a95SAnup Patel     char *mem_name;
2800ffc1a95SAnup Patel     uint64_t addr, size;
2810ffc1a95SAnup Patel     MachineState *mc = MACHINE(s);
28228a4df97SAtish Patra 
28318df0b46SAnup Patel     addr = memmap[VIRT_DRAM].base + riscv_socket_mem_offset(mc, socket);
28418df0b46SAnup Patel     size = riscv_socket_mem_size(mc, socket);
28518df0b46SAnup Patel     mem_name = g_strdup_printf("/memory@%lx", (long)addr);
2860ffc1a95SAnup Patel     qemu_fdt_add_subnode(mc->fdt, mem_name);
2870ffc1a95SAnup Patel     qemu_fdt_setprop_cells(mc->fdt, mem_name, "reg",
28818df0b46SAnup Patel         addr >> 32, addr, size >> 32, size);
2890ffc1a95SAnup Patel     qemu_fdt_setprop_string(mc->fdt, mem_name, "device_type", "memory");
2900ffc1a95SAnup Patel     riscv_socket_fdt_write_id(mc, mc->fdt, mem_name, socket);
29118df0b46SAnup Patel     g_free(mem_name);
2920ffc1a95SAnup Patel }
29304331d0bSMichael Clark 
2940ffc1a95SAnup Patel static void create_fdt_socket_clint(RISCVVirtState *s,
2950ffc1a95SAnup Patel                                     const MemMapEntry *memmap, int socket,
2960ffc1a95SAnup Patel                                     uint32_t *intc_phandles)
2970ffc1a95SAnup Patel {
2980ffc1a95SAnup Patel     int cpu;
2990ffc1a95SAnup Patel     char *clint_name;
3000ffc1a95SAnup Patel     uint32_t *clint_cells;
3010ffc1a95SAnup Patel     unsigned long clint_addr;
3020ffc1a95SAnup Patel     MachineState *mc = MACHINE(s);
3030ffc1a95SAnup Patel     static const char * const clint_compat[2] = {
3040ffc1a95SAnup Patel         "sifive,clint0", "riscv,clint0"
3050ffc1a95SAnup Patel     };
3060ffc1a95SAnup Patel 
3070ffc1a95SAnup Patel     clint_cells = g_new0(uint32_t, s->soc[socket].num_harts * 4);
3080ffc1a95SAnup Patel 
3090ffc1a95SAnup Patel     for (cpu = 0; cpu < s->soc[socket].num_harts; cpu++) {
3100ffc1a95SAnup Patel         clint_cells[cpu * 4 + 0] = cpu_to_be32(intc_phandles[cpu]);
3110ffc1a95SAnup Patel         clint_cells[cpu * 4 + 1] = cpu_to_be32(IRQ_M_SOFT);
3120ffc1a95SAnup Patel         clint_cells[cpu * 4 + 2] = cpu_to_be32(intc_phandles[cpu]);
3130ffc1a95SAnup Patel         clint_cells[cpu * 4 + 3] = cpu_to_be32(IRQ_M_TIMER);
3140ffc1a95SAnup Patel     }
3150ffc1a95SAnup Patel 
3160ffc1a95SAnup Patel     clint_addr = memmap[VIRT_CLINT].base + (memmap[VIRT_CLINT].size * socket);
31718df0b46SAnup Patel     clint_name = g_strdup_printf("/soc/clint@%lx", clint_addr);
3180ffc1a95SAnup Patel     qemu_fdt_add_subnode(mc->fdt, clint_name);
3190ffc1a95SAnup Patel     qemu_fdt_setprop_string_array(mc->fdt, clint_name, "compatible",
3200ffc1a95SAnup Patel                                   (char **)&clint_compat,
3210ffc1a95SAnup Patel                                   ARRAY_SIZE(clint_compat));
3220ffc1a95SAnup Patel     qemu_fdt_setprop_cells(mc->fdt, clint_name, "reg",
32318df0b46SAnup Patel         0x0, clint_addr, 0x0, memmap[VIRT_CLINT].size);
3240ffc1a95SAnup Patel     qemu_fdt_setprop(mc->fdt, clint_name, "interrupts-extended",
32518df0b46SAnup Patel         clint_cells, s->soc[socket].num_harts * sizeof(uint32_t) * 4);
3260ffc1a95SAnup Patel     riscv_socket_fdt_write_id(mc, mc->fdt, clint_name, socket);
32718df0b46SAnup Patel     g_free(clint_name);
32818df0b46SAnup Patel 
3290ffc1a95SAnup Patel     g_free(clint_cells);
3300ffc1a95SAnup Patel }
3310ffc1a95SAnup Patel 
332954886eaSAnup Patel static void create_fdt_socket_aclint(RISCVVirtState *s,
333954886eaSAnup Patel                                      const MemMapEntry *memmap, int socket,
334954886eaSAnup Patel                                      uint32_t *intc_phandles)
335954886eaSAnup Patel {
336954886eaSAnup Patel     int cpu;
337954886eaSAnup Patel     char *name;
33828d8c281SAnup Patel     unsigned long addr, size;
339954886eaSAnup Patel     uint32_t aclint_cells_size;
340954886eaSAnup Patel     uint32_t *aclint_mswi_cells;
341954886eaSAnup Patel     uint32_t *aclint_sswi_cells;
342954886eaSAnup Patel     uint32_t *aclint_mtimer_cells;
343954886eaSAnup Patel     MachineState *mc = MACHINE(s);
344954886eaSAnup Patel 
345954886eaSAnup Patel     aclint_mswi_cells = g_new0(uint32_t, s->soc[socket].num_harts * 2);
346954886eaSAnup Patel     aclint_mtimer_cells = g_new0(uint32_t, s->soc[socket].num_harts * 2);
347954886eaSAnup Patel     aclint_sswi_cells = g_new0(uint32_t, s->soc[socket].num_harts * 2);
348954886eaSAnup Patel 
349954886eaSAnup Patel     for (cpu = 0; cpu < s->soc[socket].num_harts; cpu++) {
350954886eaSAnup Patel         aclint_mswi_cells[cpu * 2 + 0] = cpu_to_be32(intc_phandles[cpu]);
351954886eaSAnup Patel         aclint_mswi_cells[cpu * 2 + 1] = cpu_to_be32(IRQ_M_SOFT);
352954886eaSAnup Patel         aclint_mtimer_cells[cpu * 2 + 0] = cpu_to_be32(intc_phandles[cpu]);
353954886eaSAnup Patel         aclint_mtimer_cells[cpu * 2 + 1] = cpu_to_be32(IRQ_M_TIMER);
354954886eaSAnup Patel         aclint_sswi_cells[cpu * 2 + 0] = cpu_to_be32(intc_phandles[cpu]);
355954886eaSAnup Patel         aclint_sswi_cells[cpu * 2 + 1] = cpu_to_be32(IRQ_S_SOFT);
356954886eaSAnup Patel     }
357954886eaSAnup Patel     aclint_cells_size = s->soc[socket].num_harts * sizeof(uint32_t) * 2;
358954886eaSAnup Patel 
35928d8c281SAnup Patel     if (s->aia_type != VIRT_AIA_TYPE_APLIC_IMSIC) {
360954886eaSAnup Patel         addr = memmap[VIRT_CLINT].base + (memmap[VIRT_CLINT].size * socket);
361954886eaSAnup Patel         name = g_strdup_printf("/soc/mswi@%lx", addr);
362954886eaSAnup Patel         qemu_fdt_add_subnode(mc->fdt, name);
36328d8c281SAnup Patel         qemu_fdt_setprop_string(mc->fdt, name, "compatible",
36428d8c281SAnup Patel             "riscv,aclint-mswi");
365954886eaSAnup Patel         qemu_fdt_setprop_cells(mc->fdt, name, "reg",
366954886eaSAnup Patel             0x0, addr, 0x0, RISCV_ACLINT_SWI_SIZE);
367954886eaSAnup Patel         qemu_fdt_setprop(mc->fdt, name, "interrupts-extended",
368954886eaSAnup Patel             aclint_mswi_cells, aclint_cells_size);
369954886eaSAnup Patel         qemu_fdt_setprop(mc->fdt, name, "interrupt-controller", NULL, 0);
370954886eaSAnup Patel         qemu_fdt_setprop_cell(mc->fdt, name, "#interrupt-cells", 0);
371954886eaSAnup Patel         riscv_socket_fdt_write_id(mc, mc->fdt, name, socket);
372954886eaSAnup Patel         g_free(name);
37328d8c281SAnup Patel     }
374954886eaSAnup Patel 
37528d8c281SAnup Patel     if (s->aia_type == VIRT_AIA_TYPE_APLIC_IMSIC) {
37628d8c281SAnup Patel         addr = memmap[VIRT_CLINT].base +
37728d8c281SAnup Patel                (RISCV_ACLINT_DEFAULT_MTIMER_SIZE * socket);
37828d8c281SAnup Patel         size = RISCV_ACLINT_DEFAULT_MTIMER_SIZE;
37928d8c281SAnup Patel     } else {
380954886eaSAnup Patel         addr = memmap[VIRT_CLINT].base + RISCV_ACLINT_SWI_SIZE +
381954886eaSAnup Patel             (memmap[VIRT_CLINT].size * socket);
38228d8c281SAnup Patel         size = memmap[VIRT_CLINT].size - RISCV_ACLINT_SWI_SIZE;
38328d8c281SAnup Patel     }
384954886eaSAnup Patel     name = g_strdup_printf("/soc/mtimer@%lx", addr);
385954886eaSAnup Patel     qemu_fdt_add_subnode(mc->fdt, name);
386954886eaSAnup Patel     qemu_fdt_setprop_string(mc->fdt, name, "compatible",
387954886eaSAnup Patel         "riscv,aclint-mtimer");
388954886eaSAnup Patel     qemu_fdt_setprop_cells(mc->fdt, name, "reg",
389954886eaSAnup Patel         0x0, addr + RISCV_ACLINT_DEFAULT_MTIME,
39028d8c281SAnup Patel         0x0, size - RISCV_ACLINT_DEFAULT_MTIME,
391954886eaSAnup Patel         0x0, addr + RISCV_ACLINT_DEFAULT_MTIMECMP,
392954886eaSAnup Patel         0x0, RISCV_ACLINT_DEFAULT_MTIME);
393954886eaSAnup Patel     qemu_fdt_setprop(mc->fdt, name, "interrupts-extended",
394954886eaSAnup Patel         aclint_mtimer_cells, aclint_cells_size);
395954886eaSAnup Patel     riscv_socket_fdt_write_id(mc, mc->fdt, name, socket);
396954886eaSAnup Patel     g_free(name);
397954886eaSAnup Patel 
39828d8c281SAnup Patel     if (s->aia_type != VIRT_AIA_TYPE_APLIC_IMSIC) {
399954886eaSAnup Patel         addr = memmap[VIRT_ACLINT_SSWI].base +
400954886eaSAnup Patel             (memmap[VIRT_ACLINT_SSWI].size * socket);
401954886eaSAnup Patel         name = g_strdup_printf("/soc/sswi@%lx", addr);
402954886eaSAnup Patel         qemu_fdt_add_subnode(mc->fdt, name);
40328d8c281SAnup Patel         qemu_fdt_setprop_string(mc->fdt, name, "compatible",
40428d8c281SAnup Patel             "riscv,aclint-sswi");
405954886eaSAnup Patel         qemu_fdt_setprop_cells(mc->fdt, name, "reg",
406954886eaSAnup Patel             0x0, addr, 0x0, memmap[VIRT_ACLINT_SSWI].size);
407954886eaSAnup Patel         qemu_fdt_setprop(mc->fdt, name, "interrupts-extended",
408954886eaSAnup Patel             aclint_sswi_cells, aclint_cells_size);
409954886eaSAnup Patel         qemu_fdt_setprop(mc->fdt, name, "interrupt-controller", NULL, 0);
410954886eaSAnup Patel         qemu_fdt_setprop_cell(mc->fdt, name, "#interrupt-cells", 0);
411954886eaSAnup Patel         riscv_socket_fdt_write_id(mc, mc->fdt, name, socket);
412954886eaSAnup Patel         g_free(name);
41328d8c281SAnup Patel     }
414954886eaSAnup Patel 
415954886eaSAnup Patel     g_free(aclint_mswi_cells);
416954886eaSAnup Patel     g_free(aclint_mtimer_cells);
417954886eaSAnup Patel     g_free(aclint_sswi_cells);
418954886eaSAnup Patel }
419954886eaSAnup Patel 
4200ffc1a95SAnup Patel static void create_fdt_socket_plic(RISCVVirtState *s,
4210ffc1a95SAnup Patel                                    const MemMapEntry *memmap, int socket,
4220ffc1a95SAnup Patel                                    uint32_t *phandle, uint32_t *intc_phandles,
4230ffc1a95SAnup Patel                                    uint32_t *plic_phandles)
4240ffc1a95SAnup Patel {
4250ffc1a95SAnup Patel     int cpu;
4260ffc1a95SAnup Patel     char *plic_name;
4270ffc1a95SAnup Patel     uint32_t *plic_cells;
4280ffc1a95SAnup Patel     unsigned long plic_addr;
4290ffc1a95SAnup Patel     MachineState *mc = MACHINE(s);
4300ffc1a95SAnup Patel     static const char * const plic_compat[2] = {
4310ffc1a95SAnup Patel         "sifive,plic-1.0.0", "riscv,plic0"
4320ffc1a95SAnup Patel     };
4330ffc1a95SAnup Patel 
434ad40be27SYifei Jiang     if (kvm_enabled()) {
435ad40be27SYifei Jiang         plic_cells = g_new0(uint32_t, s->soc[socket].num_harts * 2);
436ad40be27SYifei Jiang     } else {
4370ffc1a95SAnup Patel         plic_cells = g_new0(uint32_t, s->soc[socket].num_harts * 4);
438ad40be27SYifei Jiang     }
4390ffc1a95SAnup Patel 
4400ffc1a95SAnup Patel     for (cpu = 0; cpu < s->soc[socket].num_harts; cpu++) {
441ad40be27SYifei Jiang         if (kvm_enabled()) {
442ad40be27SYifei Jiang             plic_cells[cpu * 2 + 0] = cpu_to_be32(intc_phandles[cpu]);
443ad40be27SYifei Jiang             plic_cells[cpu * 2 + 1] = cpu_to_be32(IRQ_S_EXT);
444ad40be27SYifei Jiang         } else {
4450ffc1a95SAnup Patel             plic_cells[cpu * 4 + 0] = cpu_to_be32(intc_phandles[cpu]);
4460ffc1a95SAnup Patel             plic_cells[cpu * 4 + 1] = cpu_to_be32(IRQ_M_EXT);
4470ffc1a95SAnup Patel             plic_cells[cpu * 4 + 2] = cpu_to_be32(intc_phandles[cpu]);
4480ffc1a95SAnup Patel             plic_cells[cpu * 4 + 3] = cpu_to_be32(IRQ_S_EXT);
4490ffc1a95SAnup Patel         }
450ad40be27SYifei Jiang     }
4510ffc1a95SAnup Patel 
4520ffc1a95SAnup Patel     plic_phandles[socket] = (*phandle)++;
45318df0b46SAnup Patel     plic_addr = memmap[VIRT_PLIC].base + (memmap[VIRT_PLIC].size * socket);
45418df0b46SAnup Patel     plic_name = g_strdup_printf("/soc/plic@%lx", plic_addr);
4550ffc1a95SAnup Patel     qemu_fdt_add_subnode(mc->fdt, plic_name);
4560ffc1a95SAnup Patel     qemu_fdt_setprop_cell(mc->fdt, plic_name,
45718df0b46SAnup Patel         "#interrupt-cells", FDT_PLIC_INT_CELLS);
4580ffc1a95SAnup Patel     qemu_fdt_setprop_string_array(mc->fdt, plic_name, "compatible",
4590ffc1a95SAnup Patel                                   (char **)&plic_compat,
4600ffc1a95SAnup Patel                                   ARRAY_SIZE(plic_compat));
4610ffc1a95SAnup Patel     qemu_fdt_setprop(mc->fdt, plic_name, "interrupt-controller", NULL, 0);
4620ffc1a95SAnup Patel     qemu_fdt_setprop(mc->fdt, plic_name, "interrupts-extended",
46318df0b46SAnup Patel         plic_cells, s->soc[socket].num_harts * sizeof(uint32_t) * 4);
4640ffc1a95SAnup Patel     qemu_fdt_setprop_cells(mc->fdt, plic_name, "reg",
46518df0b46SAnup Patel         0x0, plic_addr, 0x0, memmap[VIRT_PLIC].size);
4660ffc1a95SAnup Patel     qemu_fdt_setprop_cell(mc->fdt, plic_name, "riscv,ndev", VIRTIO_NDEV);
4670ffc1a95SAnup Patel     riscv_socket_fdt_write_id(mc, mc->fdt, plic_name, socket);
4680ffc1a95SAnup Patel     qemu_fdt_setprop_cell(mc->fdt, plic_name, "phandle",
4690ffc1a95SAnup Patel         plic_phandles[socket]);
47018df0b46SAnup Patel     g_free(plic_name);
47118df0b46SAnup Patel 
47218df0b46SAnup Patel     g_free(plic_cells);
4730ffc1a95SAnup Patel }
4740ffc1a95SAnup Patel 
47528d8c281SAnup Patel static uint32_t imsic_num_bits(uint32_t count)
47628d8c281SAnup Patel {
47728d8c281SAnup Patel     uint32_t ret = 0;
47828d8c281SAnup Patel 
47928d8c281SAnup Patel     while (BIT(ret) < count) {
48028d8c281SAnup Patel         ret++;
48128d8c281SAnup Patel     }
48228d8c281SAnup Patel 
48328d8c281SAnup Patel     return ret;
48428d8c281SAnup Patel }
48528d8c281SAnup Patel 
48628d8c281SAnup Patel static void create_fdt_imsic(RISCVVirtState *s, const MemMapEntry *memmap,
487e6faee65SAnup Patel                              uint32_t *phandle, uint32_t *intc_phandles,
48828d8c281SAnup Patel                              uint32_t *msi_m_phandle, uint32_t *msi_s_phandle)
48928d8c281SAnup Patel {
49028d8c281SAnup Patel     int cpu, socket;
49128d8c281SAnup Patel     char *imsic_name;
49228d8c281SAnup Patel     MachineState *mc = MACHINE(s);
49328d8c281SAnup Patel     uint32_t imsic_max_hart_per_socket, imsic_guest_bits;
49428d8c281SAnup Patel     uint32_t *imsic_cells, *imsic_regs, imsic_addr, imsic_size;
49528d8c281SAnup Patel 
49628d8c281SAnup Patel     *msi_m_phandle = (*phandle)++;
49728d8c281SAnup Patel     *msi_s_phandle = (*phandle)++;
49828d8c281SAnup Patel     imsic_cells = g_new0(uint32_t, mc->smp.cpus * 2);
49928d8c281SAnup Patel     imsic_regs = g_new0(uint32_t, riscv_socket_count(mc) * 4);
50028d8c281SAnup Patel 
50128d8c281SAnup Patel     /* M-level IMSIC node */
50228d8c281SAnup Patel     for (cpu = 0; cpu < mc->smp.cpus; cpu++) {
50328d8c281SAnup Patel         imsic_cells[cpu * 2 + 0] = cpu_to_be32(intc_phandles[cpu]);
50428d8c281SAnup Patel         imsic_cells[cpu * 2 + 1] = cpu_to_be32(IRQ_M_EXT);
50528d8c281SAnup Patel     }
50628d8c281SAnup Patel     imsic_max_hart_per_socket = 0;
50728d8c281SAnup Patel     for (socket = 0; socket < riscv_socket_count(mc); socket++) {
50828d8c281SAnup Patel         imsic_addr = memmap[VIRT_IMSIC_M].base +
50928d8c281SAnup Patel                      socket * VIRT_IMSIC_GROUP_MAX_SIZE;
51028d8c281SAnup Patel         imsic_size = IMSIC_HART_SIZE(0) * s->soc[socket].num_harts;
51128d8c281SAnup Patel         imsic_regs[socket * 4 + 0] = 0;
51228d8c281SAnup Patel         imsic_regs[socket * 4 + 1] = cpu_to_be32(imsic_addr);
51328d8c281SAnup Patel         imsic_regs[socket * 4 + 2] = 0;
51428d8c281SAnup Patel         imsic_regs[socket * 4 + 3] = cpu_to_be32(imsic_size);
51528d8c281SAnup Patel         if (imsic_max_hart_per_socket < s->soc[socket].num_harts) {
51628d8c281SAnup Patel             imsic_max_hart_per_socket = s->soc[socket].num_harts;
51728d8c281SAnup Patel         }
51828d8c281SAnup Patel     }
51928d8c281SAnup Patel     imsic_name = g_strdup_printf("/soc/imsics@%lx",
52028d8c281SAnup Patel         (unsigned long)memmap[VIRT_IMSIC_M].base);
52128d8c281SAnup Patel     qemu_fdt_add_subnode(mc->fdt, imsic_name);
52228d8c281SAnup Patel     qemu_fdt_setprop_string(mc->fdt, imsic_name, "compatible",
52328d8c281SAnup Patel         "riscv,imsics");
52428d8c281SAnup Patel     qemu_fdt_setprop_cell(mc->fdt, imsic_name, "#interrupt-cells",
52528d8c281SAnup Patel         FDT_IMSIC_INT_CELLS);
52628d8c281SAnup Patel     qemu_fdt_setprop(mc->fdt, imsic_name, "interrupt-controller",
52728d8c281SAnup Patel         NULL, 0);
52828d8c281SAnup Patel     qemu_fdt_setprop(mc->fdt, imsic_name, "msi-controller",
52928d8c281SAnup Patel         NULL, 0);
53028d8c281SAnup Patel     qemu_fdt_setprop(mc->fdt, imsic_name, "interrupts-extended",
53128d8c281SAnup Patel         imsic_cells, mc->smp.cpus * sizeof(uint32_t) * 2);
53228d8c281SAnup Patel     qemu_fdt_setprop(mc->fdt, imsic_name, "reg", imsic_regs,
53328d8c281SAnup Patel         riscv_socket_count(mc) * sizeof(uint32_t) * 4);
53428d8c281SAnup Patel     qemu_fdt_setprop_cell(mc->fdt, imsic_name, "riscv,num-ids",
53528d8c281SAnup Patel         VIRT_IRQCHIP_NUM_MSIS);
53628d8c281SAnup Patel     qemu_fdt_setprop_cells(mc->fdt, imsic_name, "riscv,ipi-id",
53728d8c281SAnup Patel         VIRT_IRQCHIP_IPI_MSI);
53828d8c281SAnup Patel     if (riscv_socket_count(mc) > 1) {
53928d8c281SAnup Patel         qemu_fdt_setprop_cell(mc->fdt, imsic_name, "riscv,hart-index-bits",
54028d8c281SAnup Patel             imsic_num_bits(imsic_max_hart_per_socket));
54128d8c281SAnup Patel         qemu_fdt_setprop_cell(mc->fdt, imsic_name, "riscv,group-index-bits",
54228d8c281SAnup Patel             imsic_num_bits(riscv_socket_count(mc)));
54328d8c281SAnup Patel         qemu_fdt_setprop_cell(mc->fdt, imsic_name, "riscv,group-index-shift",
54428d8c281SAnup Patel             IMSIC_MMIO_GROUP_MIN_SHIFT);
54528d8c281SAnup Patel     }
54628d8c281SAnup Patel     qemu_fdt_setprop_cell(mc->fdt, imsic_name, "phandle", *msi_m_phandle);
54728d8c281SAnup Patel     g_free(imsic_name);
54828d8c281SAnup Patel 
54928d8c281SAnup Patel     /* S-level IMSIC node */
55028d8c281SAnup Patel     for (cpu = 0; cpu < mc->smp.cpus; cpu++) {
55128d8c281SAnup Patel         imsic_cells[cpu * 2 + 0] = cpu_to_be32(intc_phandles[cpu]);
55228d8c281SAnup Patel         imsic_cells[cpu * 2 + 1] = cpu_to_be32(IRQ_S_EXT);
55328d8c281SAnup Patel     }
55428d8c281SAnup Patel     imsic_guest_bits = imsic_num_bits(s->aia_guests + 1);
55528d8c281SAnup Patel     imsic_max_hart_per_socket = 0;
55628d8c281SAnup Patel     for (socket = 0; socket < riscv_socket_count(mc); socket++) {
55728d8c281SAnup Patel         imsic_addr = memmap[VIRT_IMSIC_S].base +
55828d8c281SAnup Patel                      socket * VIRT_IMSIC_GROUP_MAX_SIZE;
55928d8c281SAnup Patel         imsic_size = IMSIC_HART_SIZE(imsic_guest_bits) *
56028d8c281SAnup Patel                      s->soc[socket].num_harts;
56128d8c281SAnup Patel         imsic_regs[socket * 4 + 0] = 0;
56228d8c281SAnup Patel         imsic_regs[socket * 4 + 1] = cpu_to_be32(imsic_addr);
56328d8c281SAnup Patel         imsic_regs[socket * 4 + 2] = 0;
56428d8c281SAnup Patel         imsic_regs[socket * 4 + 3] = cpu_to_be32(imsic_size);
56528d8c281SAnup Patel         if (imsic_max_hart_per_socket < s->soc[socket].num_harts) {
56628d8c281SAnup Patel             imsic_max_hart_per_socket = s->soc[socket].num_harts;
56728d8c281SAnup Patel         }
56828d8c281SAnup Patel     }
56928d8c281SAnup Patel     imsic_name = g_strdup_printf("/soc/imsics@%lx",
57028d8c281SAnup Patel         (unsigned long)memmap[VIRT_IMSIC_S].base);
57128d8c281SAnup Patel     qemu_fdt_add_subnode(mc->fdt, imsic_name);
57228d8c281SAnup Patel     qemu_fdt_setprop_string(mc->fdt, imsic_name, "compatible",
57328d8c281SAnup Patel         "riscv,imsics");
57428d8c281SAnup Patel     qemu_fdt_setprop_cell(mc->fdt, imsic_name, "#interrupt-cells",
57528d8c281SAnup Patel         FDT_IMSIC_INT_CELLS);
57628d8c281SAnup Patel     qemu_fdt_setprop(mc->fdt, imsic_name, "interrupt-controller",
57728d8c281SAnup Patel         NULL, 0);
57828d8c281SAnup Patel     qemu_fdt_setprop(mc->fdt, imsic_name, "msi-controller",
57928d8c281SAnup Patel         NULL, 0);
58028d8c281SAnup Patel     qemu_fdt_setprop(mc->fdt, imsic_name, "interrupts-extended",
58128d8c281SAnup Patel         imsic_cells, mc->smp.cpus * sizeof(uint32_t) * 2);
58228d8c281SAnup Patel     qemu_fdt_setprop(mc->fdt, imsic_name, "reg", imsic_regs,
58328d8c281SAnup Patel         riscv_socket_count(mc) * sizeof(uint32_t) * 4);
58428d8c281SAnup Patel     qemu_fdt_setprop_cell(mc->fdt, imsic_name, "riscv,num-ids",
58528d8c281SAnup Patel         VIRT_IRQCHIP_NUM_MSIS);
58628d8c281SAnup Patel     qemu_fdt_setprop_cells(mc->fdt, imsic_name, "riscv,ipi-id",
58728d8c281SAnup Patel         VIRT_IRQCHIP_IPI_MSI);
58828d8c281SAnup Patel     if (imsic_guest_bits) {
58928d8c281SAnup Patel         qemu_fdt_setprop_cell(mc->fdt, imsic_name, "riscv,guest-index-bits",
59028d8c281SAnup Patel             imsic_guest_bits);
59128d8c281SAnup Patel     }
59228d8c281SAnup Patel     if (riscv_socket_count(mc) > 1) {
59328d8c281SAnup Patel         qemu_fdt_setprop_cell(mc->fdt, imsic_name, "riscv,hart-index-bits",
59428d8c281SAnup Patel             imsic_num_bits(imsic_max_hart_per_socket));
59528d8c281SAnup Patel         qemu_fdt_setprop_cell(mc->fdt, imsic_name, "riscv,group-index-bits",
59628d8c281SAnup Patel             imsic_num_bits(riscv_socket_count(mc)));
59728d8c281SAnup Patel         qemu_fdt_setprop_cell(mc->fdt, imsic_name, "riscv,group-index-shift",
59828d8c281SAnup Patel             IMSIC_MMIO_GROUP_MIN_SHIFT);
59928d8c281SAnup Patel     }
60028d8c281SAnup Patel     qemu_fdt_setprop_cell(mc->fdt, imsic_name, "phandle", *msi_s_phandle);
60128d8c281SAnup Patel     g_free(imsic_name);
60228d8c281SAnup Patel 
60328d8c281SAnup Patel     g_free(imsic_regs);
60428d8c281SAnup Patel     g_free(imsic_cells);
60528d8c281SAnup Patel }
60628d8c281SAnup Patel 
60728d8c281SAnup Patel static void create_fdt_socket_aplic(RISCVVirtState *s,
60828d8c281SAnup Patel                                     const MemMapEntry *memmap, int socket,
60928d8c281SAnup Patel                                     uint32_t msi_m_phandle,
61028d8c281SAnup Patel                                     uint32_t msi_s_phandle,
61128d8c281SAnup Patel                                     uint32_t *phandle,
61228d8c281SAnup Patel                                     uint32_t *intc_phandles,
613e6faee65SAnup Patel                                     uint32_t *aplic_phandles)
614e6faee65SAnup Patel {
615e6faee65SAnup Patel     int cpu;
616e6faee65SAnup Patel     char *aplic_name;
617e6faee65SAnup Patel     uint32_t *aplic_cells;
618e6faee65SAnup Patel     unsigned long aplic_addr;
619e6faee65SAnup Patel     MachineState *mc = MACHINE(s);
620e6faee65SAnup Patel     uint32_t aplic_m_phandle, aplic_s_phandle;
621e6faee65SAnup Patel 
622e6faee65SAnup Patel     aplic_m_phandle = (*phandle)++;
623e6faee65SAnup Patel     aplic_s_phandle = (*phandle)++;
624e6faee65SAnup Patel     aplic_cells = g_new0(uint32_t, s->soc[socket].num_harts * 2);
625e6faee65SAnup Patel 
626e6faee65SAnup Patel     /* M-level APLIC node */
627e6faee65SAnup Patel     for (cpu = 0; cpu < s->soc[socket].num_harts; cpu++) {
628e6faee65SAnup Patel         aplic_cells[cpu * 2 + 0] = cpu_to_be32(intc_phandles[cpu]);
629e6faee65SAnup Patel         aplic_cells[cpu * 2 + 1] = cpu_to_be32(IRQ_M_EXT);
630e6faee65SAnup Patel     }
631e6faee65SAnup Patel     aplic_addr = memmap[VIRT_APLIC_M].base +
632e6faee65SAnup Patel                  (memmap[VIRT_APLIC_M].size * socket);
633e6faee65SAnup Patel     aplic_name = g_strdup_printf("/soc/aplic@%lx", aplic_addr);
634e6faee65SAnup Patel     qemu_fdt_add_subnode(mc->fdt, aplic_name);
635e6faee65SAnup Patel     qemu_fdt_setprop_string(mc->fdt, aplic_name, "compatible", "riscv,aplic");
636e6faee65SAnup Patel     qemu_fdt_setprop_cell(mc->fdt, aplic_name,
637e6faee65SAnup Patel         "#interrupt-cells", FDT_APLIC_INT_CELLS);
638e6faee65SAnup Patel     qemu_fdt_setprop(mc->fdt, aplic_name, "interrupt-controller", NULL, 0);
63928d8c281SAnup Patel     if (s->aia_type == VIRT_AIA_TYPE_APLIC) {
640e6faee65SAnup Patel         qemu_fdt_setprop(mc->fdt, aplic_name, "interrupts-extended",
641e6faee65SAnup Patel             aplic_cells, s->soc[socket].num_harts * sizeof(uint32_t) * 2);
64228d8c281SAnup Patel     } else {
64328d8c281SAnup Patel         qemu_fdt_setprop_cell(mc->fdt, aplic_name, "msi-parent",
64428d8c281SAnup Patel             msi_m_phandle);
64528d8c281SAnup Patel     }
646e6faee65SAnup Patel     qemu_fdt_setprop_cells(mc->fdt, aplic_name, "reg",
647e6faee65SAnup Patel         0x0, aplic_addr, 0x0, memmap[VIRT_APLIC_M].size);
648e6faee65SAnup Patel     qemu_fdt_setprop_cell(mc->fdt, aplic_name, "riscv,num-sources",
649e6faee65SAnup Patel         VIRT_IRQCHIP_NUM_SOURCES);
650e6faee65SAnup Patel     qemu_fdt_setprop_cell(mc->fdt, aplic_name, "riscv,children",
651e6faee65SAnup Patel         aplic_s_phandle);
652e6faee65SAnup Patel     qemu_fdt_setprop_cells(mc->fdt, aplic_name, "riscv,delegate",
653e6faee65SAnup Patel         aplic_s_phandle, 0x1, VIRT_IRQCHIP_NUM_SOURCES);
654e6faee65SAnup Patel     riscv_socket_fdt_write_id(mc, mc->fdt, aplic_name, socket);
655e6faee65SAnup Patel     qemu_fdt_setprop_cell(mc->fdt, aplic_name, "phandle", aplic_m_phandle);
656e6faee65SAnup Patel     g_free(aplic_name);
657e6faee65SAnup Patel 
658e6faee65SAnup Patel     /* S-level APLIC node */
659e6faee65SAnup Patel     for (cpu = 0; cpu < s->soc[socket].num_harts; cpu++) {
660e6faee65SAnup Patel         aplic_cells[cpu * 2 + 0] = cpu_to_be32(intc_phandles[cpu]);
661e6faee65SAnup Patel         aplic_cells[cpu * 2 + 1] = cpu_to_be32(IRQ_S_EXT);
662e6faee65SAnup Patel     }
663e6faee65SAnup Patel     aplic_addr = memmap[VIRT_APLIC_S].base +
664e6faee65SAnup Patel                  (memmap[VIRT_APLIC_S].size * socket);
665e6faee65SAnup Patel     aplic_name = g_strdup_printf("/soc/aplic@%lx", aplic_addr);
666e6faee65SAnup Patel     qemu_fdt_add_subnode(mc->fdt, aplic_name);
667e6faee65SAnup Patel     qemu_fdt_setprop_string(mc->fdt, aplic_name, "compatible", "riscv,aplic");
668e6faee65SAnup Patel     qemu_fdt_setprop_cell(mc->fdt, aplic_name,
669e6faee65SAnup Patel         "#interrupt-cells", FDT_APLIC_INT_CELLS);
670e6faee65SAnup Patel     qemu_fdt_setprop(mc->fdt, aplic_name, "interrupt-controller", NULL, 0);
67128d8c281SAnup Patel     if (s->aia_type == VIRT_AIA_TYPE_APLIC) {
672e6faee65SAnup Patel         qemu_fdt_setprop(mc->fdt, aplic_name, "interrupts-extended",
673e6faee65SAnup Patel             aplic_cells, s->soc[socket].num_harts * sizeof(uint32_t) * 2);
67428d8c281SAnup Patel     } else {
67528d8c281SAnup Patel         qemu_fdt_setprop_cell(mc->fdt, aplic_name, "msi-parent",
67628d8c281SAnup Patel             msi_s_phandle);
67728d8c281SAnup Patel     }
678e6faee65SAnup Patel     qemu_fdt_setprop_cells(mc->fdt, aplic_name, "reg",
679e6faee65SAnup Patel         0x0, aplic_addr, 0x0, memmap[VIRT_APLIC_S].size);
680e6faee65SAnup Patel     qemu_fdt_setprop_cell(mc->fdt, aplic_name, "riscv,num-sources",
681e6faee65SAnup Patel         VIRT_IRQCHIP_NUM_SOURCES);
682e6faee65SAnup Patel     riscv_socket_fdt_write_id(mc, mc->fdt, aplic_name, socket);
683e6faee65SAnup Patel     qemu_fdt_setprop_cell(mc->fdt, aplic_name, "phandle", aplic_s_phandle);
684e6faee65SAnup Patel     g_free(aplic_name);
685e6faee65SAnup Patel 
686e6faee65SAnup Patel     g_free(aplic_cells);
687e6faee65SAnup Patel     aplic_phandles[socket] = aplic_s_phandle;
688e6faee65SAnup Patel }
689e6faee65SAnup Patel 
6900ffc1a95SAnup Patel static void create_fdt_sockets(RISCVVirtState *s, const MemMapEntry *memmap,
6910ffc1a95SAnup Patel                                bool is_32_bit, uint32_t *phandle,
6920ffc1a95SAnup Patel                                uint32_t *irq_mmio_phandle,
6930ffc1a95SAnup Patel                                uint32_t *irq_pcie_phandle,
69428d8c281SAnup Patel                                uint32_t *irq_virtio_phandle,
69528d8c281SAnup Patel                                uint32_t *msi_pcie_phandle)
6960ffc1a95SAnup Patel {
6970ffc1a95SAnup Patel     char *clust_name;
69828d8c281SAnup Patel     int socket, phandle_pos;
6990ffc1a95SAnup Patel     MachineState *mc = MACHINE(s);
70028d8c281SAnup Patel     uint32_t msi_m_phandle = 0, msi_s_phandle = 0;
70128d8c281SAnup Patel     uint32_t *intc_phandles, xplic_phandles[MAX_NODES];
7020ffc1a95SAnup Patel 
7030ffc1a95SAnup Patel     qemu_fdt_add_subnode(mc->fdt, "/cpus");
7040ffc1a95SAnup Patel     qemu_fdt_setprop_cell(mc->fdt, "/cpus", "timebase-frequency",
7050ffc1a95SAnup Patel                           RISCV_ACLINT_DEFAULT_TIMEBASE_FREQ);
7060ffc1a95SAnup Patel     qemu_fdt_setprop_cell(mc->fdt, "/cpus", "#size-cells", 0x0);
7070ffc1a95SAnup Patel     qemu_fdt_setprop_cell(mc->fdt, "/cpus", "#address-cells", 0x1);
7080ffc1a95SAnup Patel     qemu_fdt_add_subnode(mc->fdt, "/cpus/cpu-map");
7090ffc1a95SAnup Patel 
71028d8c281SAnup Patel     intc_phandles = g_new0(uint32_t, mc->smp.cpus);
71128d8c281SAnup Patel 
71228d8c281SAnup Patel     phandle_pos = mc->smp.cpus;
7130ffc1a95SAnup Patel     for (socket = (riscv_socket_count(mc) - 1); socket >= 0; socket--) {
71428d8c281SAnup Patel         phandle_pos -= s->soc[socket].num_harts;
71528d8c281SAnup Patel 
7160ffc1a95SAnup Patel         clust_name = g_strdup_printf("/cpus/cpu-map/cluster%d", socket);
7170ffc1a95SAnup Patel         qemu_fdt_add_subnode(mc->fdt, clust_name);
7180ffc1a95SAnup Patel 
7190ffc1a95SAnup Patel         create_fdt_socket_cpus(s, socket, clust_name, phandle,
72028d8c281SAnup Patel             is_32_bit, &intc_phandles[phandle_pos]);
7210ffc1a95SAnup Patel 
7220ffc1a95SAnup Patel         create_fdt_socket_memory(s, memmap, socket);
7230ffc1a95SAnup Patel 
72428d8c281SAnup Patel         g_free(clust_name);
72528d8c281SAnup Patel 
726ad40be27SYifei Jiang         if (!kvm_enabled()) {
727954886eaSAnup Patel             if (s->have_aclint) {
72828d8c281SAnup Patel                 create_fdt_socket_aclint(s, memmap, socket,
72928d8c281SAnup Patel                     &intc_phandles[phandle_pos]);
730954886eaSAnup Patel             } else {
73128d8c281SAnup Patel                 create_fdt_socket_clint(s, memmap, socket,
73228d8c281SAnup Patel                     &intc_phandles[phandle_pos]);
733954886eaSAnup Patel             }
734ad40be27SYifei Jiang         }
73528d8c281SAnup Patel     }
73628d8c281SAnup Patel 
73728d8c281SAnup Patel     if (s->aia_type == VIRT_AIA_TYPE_APLIC_IMSIC) {
73828d8c281SAnup Patel         create_fdt_imsic(s, memmap, phandle, intc_phandles,
73928d8c281SAnup Patel             &msi_m_phandle, &msi_s_phandle);
74028d8c281SAnup Patel         *msi_pcie_phandle = msi_s_phandle;
74128d8c281SAnup Patel     }
74228d8c281SAnup Patel 
74328d8c281SAnup Patel     phandle_pos = mc->smp.cpus;
74428d8c281SAnup Patel     for (socket = (riscv_socket_count(mc) - 1); socket >= 0; socket--) {
74528d8c281SAnup Patel         phandle_pos -= s->soc[socket].num_harts;
7460ffc1a95SAnup Patel 
747e6faee65SAnup Patel         if (s->aia_type == VIRT_AIA_TYPE_NONE) {
7480ffc1a95SAnup Patel             create_fdt_socket_plic(s, memmap, socket, phandle,
74928d8c281SAnup Patel                 &intc_phandles[phandle_pos], xplic_phandles);
750e6faee65SAnup Patel         } else {
75128d8c281SAnup Patel             create_fdt_socket_aplic(s, memmap, socket,
75228d8c281SAnup Patel                 msi_m_phandle, msi_s_phandle, phandle,
75328d8c281SAnup Patel                 &intc_phandles[phandle_pos], xplic_phandles);
75428d8c281SAnup Patel         }
755e6faee65SAnup Patel     }
7560ffc1a95SAnup Patel 
7570ffc1a95SAnup Patel     g_free(intc_phandles);
75818df0b46SAnup Patel 
75918df0b46SAnup Patel     for (socket = 0; socket < riscv_socket_count(mc); socket++) {
76018df0b46SAnup Patel         if (socket == 0) {
7610ffc1a95SAnup Patel             *irq_mmio_phandle = xplic_phandles[socket];
7620ffc1a95SAnup Patel             *irq_virtio_phandle = xplic_phandles[socket];
7630ffc1a95SAnup Patel             *irq_pcie_phandle = xplic_phandles[socket];
76418df0b46SAnup Patel         }
76518df0b46SAnup Patel         if (socket == 1) {
7660ffc1a95SAnup Patel             *irq_virtio_phandle = xplic_phandles[socket];
7670ffc1a95SAnup Patel             *irq_pcie_phandle = xplic_phandles[socket];
76818df0b46SAnup Patel         }
76918df0b46SAnup Patel         if (socket == 2) {
7700ffc1a95SAnup Patel             *irq_pcie_phandle = xplic_phandles[socket];
77118df0b46SAnup Patel         }
77218df0b46SAnup Patel     }
77318df0b46SAnup Patel 
7740ffc1a95SAnup Patel     riscv_socket_fdt_write_distance_matrix(mc, mc->fdt);
7750ffc1a95SAnup Patel }
7760ffc1a95SAnup Patel 
7770ffc1a95SAnup Patel static void create_fdt_virtio(RISCVVirtState *s, const MemMapEntry *memmap,
7780ffc1a95SAnup Patel                               uint32_t irq_virtio_phandle)
7790ffc1a95SAnup Patel {
7800ffc1a95SAnup Patel     int i;
7810ffc1a95SAnup Patel     char *name;
7820ffc1a95SAnup Patel     MachineState *mc = MACHINE(s);
78304331d0bSMichael Clark 
78404331d0bSMichael Clark     for (i = 0; i < VIRTIO_COUNT; i++) {
78518df0b46SAnup Patel         name = g_strdup_printf("/soc/virtio_mmio@%lx",
78604331d0bSMichael Clark             (long)(memmap[VIRT_VIRTIO].base + i * memmap[VIRT_VIRTIO].size));
7870ffc1a95SAnup Patel         qemu_fdt_add_subnode(mc->fdt, name);
7880ffc1a95SAnup Patel         qemu_fdt_setprop_string(mc->fdt, name, "compatible", "virtio,mmio");
7890ffc1a95SAnup Patel         qemu_fdt_setprop_cells(mc->fdt, name, "reg",
79004331d0bSMichael Clark             0x0, memmap[VIRT_VIRTIO].base + i * memmap[VIRT_VIRTIO].size,
79104331d0bSMichael Clark             0x0, memmap[VIRT_VIRTIO].size);
7920ffc1a95SAnup Patel         qemu_fdt_setprop_cell(mc->fdt, name, "interrupt-parent",
7930ffc1a95SAnup Patel             irq_virtio_phandle);
794e6faee65SAnup Patel         if (s->aia_type == VIRT_AIA_TYPE_NONE) {
795e6faee65SAnup Patel             qemu_fdt_setprop_cell(mc->fdt, name, "interrupts",
796e6faee65SAnup Patel                                   VIRTIO_IRQ + i);
797e6faee65SAnup Patel         } else {
798e6faee65SAnup Patel             qemu_fdt_setprop_cells(mc->fdt, name, "interrupts",
799e6faee65SAnup Patel                                    VIRTIO_IRQ + i, 0x4);
800e6faee65SAnup Patel         }
80118df0b46SAnup Patel         g_free(name);
80204331d0bSMichael Clark     }
8030ffc1a95SAnup Patel }
8040ffc1a95SAnup Patel 
8050ffc1a95SAnup Patel static void create_fdt_pcie(RISCVVirtState *s, const MemMapEntry *memmap,
80628d8c281SAnup Patel                             uint32_t irq_pcie_phandle,
80728d8c281SAnup Patel                             uint32_t msi_pcie_phandle)
8080ffc1a95SAnup Patel {
8090ffc1a95SAnup Patel     char *name;
8100ffc1a95SAnup Patel     MachineState *mc = MACHINE(s);
81104331d0bSMichael Clark 
81218df0b46SAnup Patel     name = g_strdup_printf("/soc/pci@%lx",
8136d56e396SAlistair Francis         (long) memmap[VIRT_PCIE_ECAM].base);
8140ffc1a95SAnup Patel     qemu_fdt_add_subnode(mc->fdt, name);
8150ffc1a95SAnup Patel     qemu_fdt_setprop_cell(mc->fdt, name, "#address-cells",
8160ffc1a95SAnup Patel         FDT_PCI_ADDR_CELLS);
8170ffc1a95SAnup Patel     qemu_fdt_setprop_cell(mc->fdt, name, "#interrupt-cells",
8180ffc1a95SAnup Patel         FDT_PCI_INT_CELLS);
8190ffc1a95SAnup Patel     qemu_fdt_setprop_cell(mc->fdt, name, "#size-cells", 0x2);
8200ffc1a95SAnup Patel     qemu_fdt_setprop_string(mc->fdt, name, "compatible",
8210ffc1a95SAnup Patel         "pci-host-ecam-generic");
8220ffc1a95SAnup Patel     qemu_fdt_setprop_string(mc->fdt, name, "device_type", "pci");
8230ffc1a95SAnup Patel     qemu_fdt_setprop_cell(mc->fdt, name, "linux,pci-domain", 0);
8240ffc1a95SAnup Patel     qemu_fdt_setprop_cells(mc->fdt, name, "bus-range", 0,
82518df0b46SAnup Patel         memmap[VIRT_PCIE_ECAM].size / PCIE_MMCFG_SIZE_MIN - 1);
8260ffc1a95SAnup Patel     qemu_fdt_setprop(mc->fdt, name, "dma-coherent", NULL, 0);
82728d8c281SAnup Patel     if (s->aia_type == VIRT_AIA_TYPE_APLIC_IMSIC) {
82828d8c281SAnup Patel         qemu_fdt_setprop_cell(mc->fdt, name, "msi-parent", msi_pcie_phandle);
82928d8c281SAnup Patel     }
8300ffc1a95SAnup Patel     qemu_fdt_setprop_cells(mc->fdt, name, "reg", 0,
83118df0b46SAnup Patel         memmap[VIRT_PCIE_ECAM].base, 0, memmap[VIRT_PCIE_ECAM].size);
8320ffc1a95SAnup Patel     qemu_fdt_setprop_sized_cells(mc->fdt, name, "ranges",
8336d56e396SAlistair Francis         1, FDT_PCI_RANGE_IOPORT, 2, 0,
8346d56e396SAlistair Francis         2, memmap[VIRT_PCIE_PIO].base, 2, memmap[VIRT_PCIE_PIO].size,
8356d56e396SAlistair Francis         1, FDT_PCI_RANGE_MMIO,
8366d56e396SAlistair Francis         2, memmap[VIRT_PCIE_MMIO].base,
83719800265SBin Meng         2, memmap[VIRT_PCIE_MMIO].base, 2, memmap[VIRT_PCIE_MMIO].size,
83819800265SBin Meng         1, FDT_PCI_RANGE_MMIO_64BIT,
83919800265SBin Meng         2, virt_high_pcie_memmap.base,
84019800265SBin Meng         2, virt_high_pcie_memmap.base, 2, virt_high_pcie_memmap.size);
84119800265SBin Meng 
842e6faee65SAnup Patel     create_pcie_irq_map(s, mc->fdt, name, irq_pcie_phandle);
84318df0b46SAnup Patel     g_free(name);
8440ffc1a95SAnup Patel }
8456d56e396SAlistair Francis 
8460ffc1a95SAnup Patel static void create_fdt_reset(RISCVVirtState *s, const MemMapEntry *memmap,
8470ffc1a95SAnup Patel                              uint32_t *phandle)
8480ffc1a95SAnup Patel {
8490ffc1a95SAnup Patel     char *name;
8500ffc1a95SAnup Patel     uint32_t test_phandle;
8510ffc1a95SAnup Patel     MachineState *mc = MACHINE(s);
8520ffc1a95SAnup Patel 
8530ffc1a95SAnup Patel     test_phandle = (*phandle)++;
85418df0b46SAnup Patel     name = g_strdup_printf("/soc/test@%lx",
85504331d0bSMichael Clark         (long)memmap[VIRT_TEST].base);
8560ffc1a95SAnup Patel     qemu_fdt_add_subnode(mc->fdt, name);
8579c0fb20cSPalmer Dabbelt     {
8582cc04550SBin Meng         static const char * const compat[3] = {
8592cc04550SBin Meng             "sifive,test1", "sifive,test0", "syscon"
8602cc04550SBin Meng         };
8610ffc1a95SAnup Patel         qemu_fdt_setprop_string_array(mc->fdt, name, "compatible",
8620ffc1a95SAnup Patel                                       (char **)&compat, ARRAY_SIZE(compat));
8639c0fb20cSPalmer Dabbelt     }
8640ffc1a95SAnup Patel     qemu_fdt_setprop_cells(mc->fdt, name, "reg",
8650ffc1a95SAnup Patel         0x0, memmap[VIRT_TEST].base, 0x0, memmap[VIRT_TEST].size);
8660ffc1a95SAnup Patel     qemu_fdt_setprop_cell(mc->fdt, name, "phandle", test_phandle);
8670ffc1a95SAnup Patel     test_phandle = qemu_fdt_get_phandle(mc->fdt, name);
86818df0b46SAnup Patel     g_free(name);
8690e404da0SAnup Patel 
87018df0b46SAnup Patel     name = g_strdup_printf("/soc/reboot");
8710ffc1a95SAnup Patel     qemu_fdt_add_subnode(mc->fdt, name);
8720ffc1a95SAnup Patel     qemu_fdt_setprop_string(mc->fdt, name, "compatible", "syscon-reboot");
8730ffc1a95SAnup Patel     qemu_fdt_setprop_cell(mc->fdt, name, "regmap", test_phandle);
8740ffc1a95SAnup Patel     qemu_fdt_setprop_cell(mc->fdt, name, "offset", 0x0);
8750ffc1a95SAnup Patel     qemu_fdt_setprop_cell(mc->fdt, name, "value", FINISHER_RESET);
87618df0b46SAnup Patel     g_free(name);
8770e404da0SAnup Patel 
87818df0b46SAnup Patel     name = g_strdup_printf("/soc/poweroff");
8790ffc1a95SAnup Patel     qemu_fdt_add_subnode(mc->fdt, name);
8800ffc1a95SAnup Patel     qemu_fdt_setprop_string(mc->fdt, name, "compatible", "syscon-poweroff");
8810ffc1a95SAnup Patel     qemu_fdt_setprop_cell(mc->fdt, name, "regmap", test_phandle);
8820ffc1a95SAnup Patel     qemu_fdt_setprop_cell(mc->fdt, name, "offset", 0x0);
8830ffc1a95SAnup Patel     qemu_fdt_setprop_cell(mc->fdt, name, "value", FINISHER_PASS);
88418df0b46SAnup Patel     g_free(name);
8850ffc1a95SAnup Patel }
8860ffc1a95SAnup Patel 
8870ffc1a95SAnup Patel static void create_fdt_uart(RISCVVirtState *s, const MemMapEntry *memmap,
8880ffc1a95SAnup Patel                             uint32_t irq_mmio_phandle)
8890ffc1a95SAnup Patel {
8900ffc1a95SAnup Patel     char *name;
8910ffc1a95SAnup Patel     MachineState *mc = MACHINE(s);
89204331d0bSMichael Clark 
89318df0b46SAnup Patel     name = g_strdup_printf("/soc/uart@%lx", (long)memmap[VIRT_UART0].base);
8940ffc1a95SAnup Patel     qemu_fdt_add_subnode(mc->fdt, name);
8950ffc1a95SAnup Patel     qemu_fdt_setprop_string(mc->fdt, name, "compatible", "ns16550a");
8960ffc1a95SAnup Patel     qemu_fdt_setprop_cells(mc->fdt, name, "reg",
89704331d0bSMichael Clark         0x0, memmap[VIRT_UART0].base,
89804331d0bSMichael Clark         0x0, memmap[VIRT_UART0].size);
8990ffc1a95SAnup Patel     qemu_fdt_setprop_cell(mc->fdt, name, "clock-frequency", 3686400);
9000ffc1a95SAnup Patel     qemu_fdt_setprop_cell(mc->fdt, name, "interrupt-parent", irq_mmio_phandle);
901e6faee65SAnup Patel     if (s->aia_type == VIRT_AIA_TYPE_NONE) {
9020ffc1a95SAnup Patel         qemu_fdt_setprop_cell(mc->fdt, name, "interrupts", UART0_IRQ);
903e6faee65SAnup Patel     } else {
904e6faee65SAnup Patel         qemu_fdt_setprop_cells(mc->fdt, name, "interrupts", UART0_IRQ, 0x4);
905e6faee65SAnup Patel     }
90604331d0bSMichael Clark 
9070ffc1a95SAnup Patel     qemu_fdt_add_subnode(mc->fdt, "/chosen");
9080ffc1a95SAnup Patel     qemu_fdt_setprop_string(mc->fdt, "/chosen", "stdout-path", name);
90918df0b46SAnup Patel     g_free(name);
9100ffc1a95SAnup Patel }
9110ffc1a95SAnup Patel 
9120ffc1a95SAnup Patel static void create_fdt_rtc(RISCVVirtState *s, const MemMapEntry *memmap,
9130ffc1a95SAnup Patel                            uint32_t irq_mmio_phandle)
9140ffc1a95SAnup Patel {
9150ffc1a95SAnup Patel     char *name;
9160ffc1a95SAnup Patel     MachineState *mc = MACHINE(s);
91771eb522cSAlistair Francis 
91818df0b46SAnup Patel     name = g_strdup_printf("/soc/rtc@%lx", (long)memmap[VIRT_RTC].base);
9190ffc1a95SAnup Patel     qemu_fdt_add_subnode(mc->fdt, name);
9200ffc1a95SAnup Patel     qemu_fdt_setprop_string(mc->fdt, name, "compatible",
9210ffc1a95SAnup Patel         "google,goldfish-rtc");
9220ffc1a95SAnup Patel     qemu_fdt_setprop_cells(mc->fdt, name, "reg",
9230ffc1a95SAnup Patel         0x0, memmap[VIRT_RTC].base, 0x0, memmap[VIRT_RTC].size);
9240ffc1a95SAnup Patel     qemu_fdt_setprop_cell(mc->fdt, name, "interrupt-parent",
9250ffc1a95SAnup Patel         irq_mmio_phandle);
926e6faee65SAnup Patel     if (s->aia_type == VIRT_AIA_TYPE_NONE) {
9270ffc1a95SAnup Patel         qemu_fdt_setprop_cell(mc->fdt, name, "interrupts", RTC_IRQ);
928e6faee65SAnup Patel     } else {
929e6faee65SAnup Patel         qemu_fdt_setprop_cells(mc->fdt, name, "interrupts", RTC_IRQ, 0x4);
930e6faee65SAnup Patel     }
93118df0b46SAnup Patel     g_free(name);
9320ffc1a95SAnup Patel }
9330ffc1a95SAnup Patel 
9340ffc1a95SAnup Patel static void create_fdt_flash(RISCVVirtState *s, const MemMapEntry *memmap)
9350ffc1a95SAnup Patel {
9360ffc1a95SAnup Patel     char *name;
9370ffc1a95SAnup Patel     MachineState *mc = MACHINE(s);
9380ffc1a95SAnup Patel     hwaddr flashsize = virt_memmap[VIRT_FLASH].size / 2;
9390ffc1a95SAnup Patel     hwaddr flashbase = virt_memmap[VIRT_FLASH].base;
94067b5ef30SAnup Patel 
94158bde469SBin Meng     name = g_strdup_printf("/flash@%" PRIx64, flashbase);
942c65d7080SAlex Bennée     qemu_fdt_add_subnode(mc->fdt, name);
943c65d7080SAlex Bennée     qemu_fdt_setprop_string(mc->fdt, name, "compatible", "cfi-flash");
944c65d7080SAlex Bennée     qemu_fdt_setprop_sized_cells(mc->fdt, name, "reg",
94571eb522cSAlistair Francis                                  2, flashbase, 2, flashsize,
94671eb522cSAlistair Francis                                  2, flashbase + flashsize, 2, flashsize);
947c65d7080SAlex Bennée     qemu_fdt_setprop_cell(mc->fdt, name, "bank-width", 4);
94818df0b46SAnup Patel     g_free(name);
9490ffc1a95SAnup Patel }
9500ffc1a95SAnup Patel 
9510ffc1a95SAnup Patel static void create_fdt(RISCVVirtState *s, const MemMapEntry *memmap,
9520ffc1a95SAnup Patel                        uint64_t mem_size, const char *cmdline, bool is_32_bit)
9530ffc1a95SAnup Patel {
9540ffc1a95SAnup Patel     MachineState *mc = MACHINE(s);
95528d8c281SAnup Patel     uint32_t phandle = 1, irq_mmio_phandle = 1, msi_pcie_phandle = 1;
9560ffc1a95SAnup Patel     uint32_t irq_pcie_phandle = 1, irq_virtio_phandle = 1;
9570ffc1a95SAnup Patel 
9580ffc1a95SAnup Patel     if (mc->dtb) {
9590ffc1a95SAnup Patel         mc->fdt = load_device_tree(mc->dtb, &s->fdt_size);
9600ffc1a95SAnup Patel         if (!mc->fdt) {
9610ffc1a95SAnup Patel             error_report("load_device_tree() failed");
9620ffc1a95SAnup Patel             exit(1);
9630ffc1a95SAnup Patel         }
9640ffc1a95SAnup Patel         goto update_bootargs;
9650ffc1a95SAnup Patel     } else {
9660ffc1a95SAnup Patel         mc->fdt = create_device_tree(&s->fdt_size);
9670ffc1a95SAnup Patel         if (!mc->fdt) {
9680ffc1a95SAnup Patel             error_report("create_device_tree() failed");
9690ffc1a95SAnup Patel             exit(1);
9700ffc1a95SAnup Patel         }
9710ffc1a95SAnup Patel     }
9720ffc1a95SAnup Patel 
9730ffc1a95SAnup Patel     qemu_fdt_setprop_string(mc->fdt, "/", "model", "riscv-virtio,qemu");
9740ffc1a95SAnup Patel     qemu_fdt_setprop_string(mc->fdt, "/", "compatible", "riscv-virtio");
9750ffc1a95SAnup Patel     qemu_fdt_setprop_cell(mc->fdt, "/", "#size-cells", 0x2);
9760ffc1a95SAnup Patel     qemu_fdt_setprop_cell(mc->fdt, "/", "#address-cells", 0x2);
9770ffc1a95SAnup Patel 
9780ffc1a95SAnup Patel     qemu_fdt_add_subnode(mc->fdt, "/soc");
9790ffc1a95SAnup Patel     qemu_fdt_setprop(mc->fdt, "/soc", "ranges", NULL, 0);
9800ffc1a95SAnup Patel     qemu_fdt_setprop_string(mc->fdt, "/soc", "compatible", "simple-bus");
9810ffc1a95SAnup Patel     qemu_fdt_setprop_cell(mc->fdt, "/soc", "#size-cells", 0x2);
9820ffc1a95SAnup Patel     qemu_fdt_setprop_cell(mc->fdt, "/soc", "#address-cells", 0x2);
9830ffc1a95SAnup Patel 
9840ffc1a95SAnup Patel     create_fdt_sockets(s, memmap, is_32_bit, &phandle,
98528d8c281SAnup Patel         &irq_mmio_phandle, &irq_pcie_phandle, &irq_virtio_phandle,
98628d8c281SAnup Patel         &msi_pcie_phandle);
9870ffc1a95SAnup Patel 
9880ffc1a95SAnup Patel     create_fdt_virtio(s, memmap, irq_virtio_phandle);
9890ffc1a95SAnup Patel 
99028d8c281SAnup Patel     create_fdt_pcie(s, memmap, irq_pcie_phandle, msi_pcie_phandle);
9910ffc1a95SAnup Patel 
9920ffc1a95SAnup Patel     create_fdt_reset(s, memmap, &phandle);
9930ffc1a95SAnup Patel 
9940ffc1a95SAnup Patel     create_fdt_uart(s, memmap, irq_mmio_phandle);
9950ffc1a95SAnup Patel 
9960ffc1a95SAnup Patel     create_fdt_rtc(s, memmap, irq_mmio_phandle);
9970ffc1a95SAnup Patel 
9980ffc1a95SAnup Patel     create_fdt_flash(s, memmap);
9994e1e3003SAnup Patel 
10004e1e3003SAnup Patel update_bootargs:
10014e1e3003SAnup Patel     if (cmdline) {
10020ffc1a95SAnup Patel         qemu_fdt_setprop_string(mc->fdt, "/chosen", "bootargs", cmdline);
10034e1e3003SAnup Patel     }
100404331d0bSMichael Clark }
100504331d0bSMichael Clark 
10066d56e396SAlistair Francis static inline DeviceState *gpex_pcie_init(MemoryRegion *sys_mem,
10076d56e396SAlistair Francis                                           hwaddr ecam_base, hwaddr ecam_size,
10086d56e396SAlistair Francis                                           hwaddr mmio_base, hwaddr mmio_size,
100919800265SBin Meng                                           hwaddr high_mmio_base,
101019800265SBin Meng                                           hwaddr high_mmio_size,
10116d56e396SAlistair Francis                                           hwaddr pio_base,
1012e6faee65SAnup Patel                                           DeviceState *irqchip)
10136d56e396SAlistair Francis {
10146d56e396SAlistair Francis     DeviceState *dev;
10156d56e396SAlistair Francis     MemoryRegion *ecam_alias, *ecam_reg;
101619800265SBin Meng     MemoryRegion *mmio_alias, *high_mmio_alias, *mmio_reg;
10176d56e396SAlistair Francis     qemu_irq irq;
10186d56e396SAlistair Francis     int i;
10196d56e396SAlistair Francis 
10203e80f690SMarkus Armbruster     dev = qdev_new(TYPE_GPEX_HOST);
10216d56e396SAlistair Francis 
10223c6ef471SMarkus Armbruster     sysbus_realize_and_unref(SYS_BUS_DEVICE(dev), &error_fatal);
10236d56e396SAlistair Francis 
10246d56e396SAlistair Francis     ecam_alias = g_new0(MemoryRegion, 1);
10256d56e396SAlistair Francis     ecam_reg = sysbus_mmio_get_region(SYS_BUS_DEVICE(dev), 0);
10266d56e396SAlistair Francis     memory_region_init_alias(ecam_alias, OBJECT(dev), "pcie-ecam",
10276d56e396SAlistair Francis                              ecam_reg, 0, ecam_size);
10286d56e396SAlistair Francis     memory_region_add_subregion(get_system_memory(), ecam_base, ecam_alias);
10296d56e396SAlistair Francis 
10306d56e396SAlistair Francis     mmio_alias = g_new0(MemoryRegion, 1);
10316d56e396SAlistair Francis     mmio_reg = sysbus_mmio_get_region(SYS_BUS_DEVICE(dev), 1);
10326d56e396SAlistair Francis     memory_region_init_alias(mmio_alias, OBJECT(dev), "pcie-mmio",
10336d56e396SAlistair Francis                              mmio_reg, mmio_base, mmio_size);
10346d56e396SAlistair Francis     memory_region_add_subregion(get_system_memory(), mmio_base, mmio_alias);
10356d56e396SAlistair Francis 
103619800265SBin Meng     /* Map high MMIO space */
103719800265SBin Meng     high_mmio_alias = g_new0(MemoryRegion, 1);
103819800265SBin Meng     memory_region_init_alias(high_mmio_alias, OBJECT(dev), "pcie-mmio-high",
103919800265SBin Meng                              mmio_reg, high_mmio_base, high_mmio_size);
104019800265SBin Meng     memory_region_add_subregion(get_system_memory(), high_mmio_base,
104119800265SBin Meng                                 high_mmio_alias);
104219800265SBin Meng 
10436d56e396SAlistair Francis     sysbus_mmio_map(SYS_BUS_DEVICE(dev), 2, pio_base);
10446d56e396SAlistair Francis 
10456d56e396SAlistair Francis     for (i = 0; i < GPEX_NUM_IRQS; i++) {
1046e6faee65SAnup Patel         irq = qdev_get_gpio_in(irqchip, PCIE_IRQ + i);
10476d56e396SAlistair Francis 
10486d56e396SAlistair Francis         sysbus_connect_irq(SYS_BUS_DEVICE(dev), i, irq);
10496d56e396SAlistair Francis         gpex_set_irq_num(GPEX_HOST(dev), i, PCIE_IRQ + i);
10506d56e396SAlistair Francis     }
10516d56e396SAlistair Francis 
10526d56e396SAlistair Francis     return dev;
10536d56e396SAlistair Francis }
10546d56e396SAlistair Francis 
10550489348dSAsherah Connor static FWCfgState *create_fw_cfg(const MachineState *mc)
10560489348dSAsherah Connor {
10570489348dSAsherah Connor     hwaddr base = virt_memmap[VIRT_FW_CFG].base;
10580489348dSAsherah Connor     hwaddr size = virt_memmap[VIRT_FW_CFG].size;
10590489348dSAsherah Connor     FWCfgState *fw_cfg;
10600489348dSAsherah Connor     char *nodename;
10610489348dSAsherah Connor 
10620489348dSAsherah Connor     fw_cfg = fw_cfg_init_mem_wide(base + 8, base, 8, base + 16,
10630489348dSAsherah Connor                                   &address_space_memory);
10640489348dSAsherah Connor     fw_cfg_add_i16(fw_cfg, FW_CFG_NB_CPUS, (uint16_t)mc->smp.cpus);
10650489348dSAsherah Connor 
10660489348dSAsherah Connor     nodename = g_strdup_printf("/fw-cfg@%" PRIx64, base);
10670489348dSAsherah Connor     qemu_fdt_add_subnode(mc->fdt, nodename);
10680489348dSAsherah Connor     qemu_fdt_setprop_string(mc->fdt, nodename,
10690489348dSAsherah Connor                             "compatible", "qemu,fw-cfg-mmio");
10700489348dSAsherah Connor     qemu_fdt_setprop_sized_cells(mc->fdt, nodename, "reg",
10710489348dSAsherah Connor                                  2, base, 2, size);
10720489348dSAsherah Connor     qemu_fdt_setprop(mc->fdt, nodename, "dma-coherent", NULL, 0);
10730489348dSAsherah Connor     g_free(nodename);
10740489348dSAsherah Connor     return fw_cfg;
10750489348dSAsherah Connor }
10760489348dSAsherah Connor 
1077e6faee65SAnup Patel static DeviceState *virt_create_plic(const MemMapEntry *memmap, int socket,
1078e6faee65SAnup Patel                                      int base_hartid, int hart_count)
1079e6faee65SAnup Patel {
1080e6faee65SAnup Patel     DeviceState *ret;
1081e6faee65SAnup Patel     char *plic_hart_config;
1082e6faee65SAnup Patel 
1083e6faee65SAnup Patel     /* Per-socket PLIC hart topology configuration string */
1084e6faee65SAnup Patel     plic_hart_config = riscv_plic_hart_config_string(hart_count);
1085e6faee65SAnup Patel 
1086e6faee65SAnup Patel     /* Per-socket PLIC */
1087e6faee65SAnup Patel     ret = sifive_plic_create(
1088e6faee65SAnup Patel             memmap[VIRT_PLIC].base + socket * memmap[VIRT_PLIC].size,
1089e6faee65SAnup Patel             plic_hart_config, hart_count, base_hartid,
1090e6faee65SAnup Patel             VIRT_IRQCHIP_NUM_SOURCES,
1091e6faee65SAnup Patel             ((1U << VIRT_IRQCHIP_NUM_PRIO_BITS) - 1),
1092e6faee65SAnup Patel             VIRT_PLIC_PRIORITY_BASE,
1093e6faee65SAnup Patel             VIRT_PLIC_PENDING_BASE,
1094e6faee65SAnup Patel             VIRT_PLIC_ENABLE_BASE,
1095e6faee65SAnup Patel             VIRT_PLIC_ENABLE_STRIDE,
1096e6faee65SAnup Patel             VIRT_PLIC_CONTEXT_BASE,
1097e6faee65SAnup Patel             VIRT_PLIC_CONTEXT_STRIDE,
1098e6faee65SAnup Patel             memmap[VIRT_PLIC].size);
1099e6faee65SAnup Patel 
1100e6faee65SAnup Patel     g_free(plic_hart_config);
1101e6faee65SAnup Patel 
1102e6faee65SAnup Patel     return ret;
1103e6faee65SAnup Patel }
1104e6faee65SAnup Patel 
110528d8c281SAnup Patel static DeviceState *virt_create_aia(RISCVVirtAIAType aia_type, int aia_guests,
1106e6faee65SAnup Patel                                     const MemMapEntry *memmap, int socket,
1107e6faee65SAnup Patel                                     int base_hartid, int hart_count)
1108e6faee65SAnup Patel {
110928d8c281SAnup Patel     int i;
111028d8c281SAnup Patel     hwaddr addr;
111128d8c281SAnup Patel     uint32_t guest_bits;
1112e6faee65SAnup Patel     DeviceState *aplic_m;
111328d8c281SAnup Patel     bool msimode = (aia_type == VIRT_AIA_TYPE_APLIC_IMSIC) ? true : false;
111428d8c281SAnup Patel 
111528d8c281SAnup Patel     if (msimode) {
111628d8c281SAnup Patel         /* Per-socket M-level IMSICs */
111728d8c281SAnup Patel         addr = memmap[VIRT_IMSIC_M].base + socket * VIRT_IMSIC_GROUP_MAX_SIZE;
111828d8c281SAnup Patel         for (i = 0; i < hart_count; i++) {
111928d8c281SAnup Patel             riscv_imsic_create(addr + i * IMSIC_HART_SIZE(0),
112028d8c281SAnup Patel                                base_hartid + i, true, 1,
112128d8c281SAnup Patel                                VIRT_IRQCHIP_NUM_MSIS);
112228d8c281SAnup Patel         }
112328d8c281SAnup Patel 
112428d8c281SAnup Patel         /* Per-socket S-level IMSICs */
112528d8c281SAnup Patel         guest_bits = imsic_num_bits(aia_guests + 1);
112628d8c281SAnup Patel         addr = memmap[VIRT_IMSIC_S].base + socket * VIRT_IMSIC_GROUP_MAX_SIZE;
112728d8c281SAnup Patel         for (i = 0; i < hart_count; i++) {
112828d8c281SAnup Patel             riscv_imsic_create(addr + i * IMSIC_HART_SIZE(guest_bits),
112928d8c281SAnup Patel                                base_hartid + i, false, 1 + aia_guests,
113028d8c281SAnup Patel                                VIRT_IRQCHIP_NUM_MSIS);
113128d8c281SAnup Patel         }
113228d8c281SAnup Patel     }
1133e6faee65SAnup Patel 
1134e6faee65SAnup Patel     /* Per-socket M-level APLIC */
1135e6faee65SAnup Patel     aplic_m = riscv_aplic_create(
1136e6faee65SAnup Patel         memmap[VIRT_APLIC_M].base + socket * memmap[VIRT_APLIC_M].size,
1137e6faee65SAnup Patel         memmap[VIRT_APLIC_M].size,
113828d8c281SAnup Patel         (msimode) ? 0 : base_hartid,
113928d8c281SAnup Patel         (msimode) ? 0 : hart_count,
1140e6faee65SAnup Patel         VIRT_IRQCHIP_NUM_SOURCES,
1141e6faee65SAnup Patel         VIRT_IRQCHIP_NUM_PRIO_BITS,
114228d8c281SAnup Patel         msimode, true, NULL);
1143e6faee65SAnup Patel 
1144e6faee65SAnup Patel     if (aplic_m) {
1145e6faee65SAnup Patel         /* Per-socket S-level APLIC */
1146e6faee65SAnup Patel         riscv_aplic_create(
1147e6faee65SAnup Patel             memmap[VIRT_APLIC_S].base + socket * memmap[VIRT_APLIC_S].size,
1148e6faee65SAnup Patel             memmap[VIRT_APLIC_S].size,
114928d8c281SAnup Patel             (msimode) ? 0 : base_hartid,
115028d8c281SAnup Patel             (msimode) ? 0 : hart_count,
1151e6faee65SAnup Patel             VIRT_IRQCHIP_NUM_SOURCES,
1152e6faee65SAnup Patel             VIRT_IRQCHIP_NUM_PRIO_BITS,
115328d8c281SAnup Patel             msimode, false, aplic_m);
1154e6faee65SAnup Patel     }
1155e6faee65SAnup Patel 
1156e6faee65SAnup Patel     return aplic_m;
1157e6faee65SAnup Patel }
1158e6faee65SAnup Patel 
1159b2a3a071SBin Meng static void virt_machine_init(MachineState *machine)
116004331d0bSMichael Clark {
116173261285SBin Meng     const MemMapEntry *memmap = virt_memmap;
1162cdfc19e4SAlistair Francis     RISCVVirtState *s = RISCV_VIRT_MACHINE(machine);
116304331d0bSMichael Clark     MemoryRegion *system_memory = get_system_memory();
11645aec3247SMichael Clark     MemoryRegion *mask_rom = g_new(MemoryRegion, 1);
1165e6faee65SAnup Patel     char *soc_name;
11662738b3b5SAlistair Francis     target_ulong start_addr = memmap[VIRT_DRAM].base;
116738bc4e34SAlistair Francis     target_ulong firmware_end_addr, kernel_start_addr;
116866b1205bSAtish Patra     uint32_t fdt_load_addr;
1169dc144fe1SAtish Patra     uint64_t kernel_entry;
1170e6faee65SAnup Patel     DeviceState *mmio_irqchip, *virtio_irqchip, *pcie_irqchip;
117133fcedfaSPeter Maydell     int i, base_hartid, hart_count;
117204331d0bSMichael Clark 
117318df0b46SAnup Patel     /* Check socket count limit */
117418df0b46SAnup Patel     if (VIRT_SOCKETS_MAX < riscv_socket_count(machine)) {
117518df0b46SAnup Patel         error_report("number of sockets/nodes should be less than %d",
117618df0b46SAnup Patel             VIRT_SOCKETS_MAX);
117718df0b46SAnup Patel         exit(1);
117818df0b46SAnup Patel     }
117918df0b46SAnup Patel 
118018df0b46SAnup Patel     /* Initialize sockets */
1181e6faee65SAnup Patel     mmio_irqchip = virtio_irqchip = pcie_irqchip = NULL;
118218df0b46SAnup Patel     for (i = 0; i < riscv_socket_count(machine); i++) {
118318df0b46SAnup Patel         if (!riscv_socket_check_hartids(machine, i)) {
118418df0b46SAnup Patel             error_report("discontinuous hartids in socket%d", i);
118518df0b46SAnup Patel             exit(1);
118618df0b46SAnup Patel         }
118718df0b46SAnup Patel 
118818df0b46SAnup Patel         base_hartid = riscv_socket_first_hartid(machine, i);
118918df0b46SAnup Patel         if (base_hartid < 0) {
119018df0b46SAnup Patel             error_report("can't find hartid base for socket%d", i);
119118df0b46SAnup Patel             exit(1);
119218df0b46SAnup Patel         }
119318df0b46SAnup Patel 
119418df0b46SAnup Patel         hart_count = riscv_socket_hart_count(machine, i);
119518df0b46SAnup Patel         if (hart_count < 0) {
119618df0b46SAnup Patel             error_report("can't find hart count for socket%d", i);
119718df0b46SAnup Patel             exit(1);
119818df0b46SAnup Patel         }
119918df0b46SAnup Patel 
120018df0b46SAnup Patel         soc_name = g_strdup_printf("soc%d", i);
120118df0b46SAnup Patel         object_initialize_child(OBJECT(machine), soc_name, &s->soc[i],
120275a6ed87SMarkus Armbruster                                 TYPE_RISCV_HART_ARRAY);
120318df0b46SAnup Patel         g_free(soc_name);
120418df0b46SAnup Patel         object_property_set_str(OBJECT(&s->soc[i]), "cpu-type",
120518df0b46SAnup Patel                                 machine->cpu_type, &error_abort);
120618df0b46SAnup Patel         object_property_set_int(OBJECT(&s->soc[i]), "hartid-base",
120718df0b46SAnup Patel                                 base_hartid, &error_abort);
120818df0b46SAnup Patel         object_property_set_int(OBJECT(&s->soc[i]), "num-harts",
120918df0b46SAnup Patel                                 hart_count, &error_abort);
121018df0b46SAnup Patel         sysbus_realize(SYS_BUS_DEVICE(&s->soc[i]), &error_abort);
121118df0b46SAnup Patel 
1212ad40be27SYifei Jiang         if (!kvm_enabled()) {
121328d8c281SAnup Patel             if (s->have_aclint) {
121428d8c281SAnup Patel                 if (s->aia_type == VIRT_AIA_TYPE_APLIC_IMSIC) {
121528d8c281SAnup Patel                     /* Per-socket ACLINT MTIMER */
121628d8c281SAnup Patel                     riscv_aclint_mtimer_create(memmap[VIRT_CLINT].base +
121728d8c281SAnup Patel                             i * RISCV_ACLINT_DEFAULT_MTIMER_SIZE,
121828d8c281SAnup Patel                         RISCV_ACLINT_DEFAULT_MTIMER_SIZE,
121928d8c281SAnup Patel                         base_hartid, hart_count,
122028d8c281SAnup Patel                         RISCV_ACLINT_DEFAULT_MTIMECMP,
122128d8c281SAnup Patel                         RISCV_ACLINT_DEFAULT_MTIME,
122228d8c281SAnup Patel                         RISCV_ACLINT_DEFAULT_TIMEBASE_FREQ, true);
122328d8c281SAnup Patel                 } else {
122428d8c281SAnup Patel                     /* Per-socket ACLINT MSWI, MTIMER, and SSWI */
122528d8c281SAnup Patel                     riscv_aclint_swi_create(memmap[VIRT_CLINT].base +
122628d8c281SAnup Patel                             i * memmap[VIRT_CLINT].size,
122728d8c281SAnup Patel                         base_hartid, hart_count, false);
122828d8c281SAnup Patel                     riscv_aclint_mtimer_create(memmap[VIRT_CLINT].base +
122928d8c281SAnup Patel                             i * memmap[VIRT_CLINT].size +
123028d8c281SAnup Patel                             RISCV_ACLINT_SWI_SIZE,
123128d8c281SAnup Patel                         RISCV_ACLINT_DEFAULT_MTIMER_SIZE,
123228d8c281SAnup Patel                         base_hartid, hart_count,
123328d8c281SAnup Patel                         RISCV_ACLINT_DEFAULT_MTIMECMP,
123428d8c281SAnup Patel                         RISCV_ACLINT_DEFAULT_MTIME,
123528d8c281SAnup Patel                         RISCV_ACLINT_DEFAULT_TIMEBASE_FREQ, true);
123628d8c281SAnup Patel                     riscv_aclint_swi_create(memmap[VIRT_ACLINT_SSWI].base +
123728d8c281SAnup Patel                             i * memmap[VIRT_ACLINT_SSWI].size,
123828d8c281SAnup Patel                         base_hartid, hart_count, true);
123928d8c281SAnup Patel                 }
124028d8c281SAnup Patel             } else {
124128d8c281SAnup Patel                 /* Per-socket SiFive CLINT */
1242b8fb878aSAnup Patel                 riscv_aclint_swi_create(
124318df0b46SAnup Patel                     memmap[VIRT_CLINT].base + i * memmap[VIRT_CLINT].size,
1244b8fb878aSAnup Patel                     base_hartid, hart_count, false);
124528d8c281SAnup Patel                 riscv_aclint_mtimer_create(memmap[VIRT_CLINT].base +
124628d8c281SAnup Patel                         i * memmap[VIRT_CLINT].size + RISCV_ACLINT_SWI_SIZE,
1247b8fb878aSAnup Patel                     RISCV_ACLINT_DEFAULT_MTIMER_SIZE, base_hartid, hart_count,
1248b8fb878aSAnup Patel                     RISCV_ACLINT_DEFAULT_MTIMECMP, RISCV_ACLINT_DEFAULT_MTIME,
1249b8fb878aSAnup Patel                     RISCV_ACLINT_DEFAULT_TIMEBASE_FREQ, true);
1250954886eaSAnup Patel             }
1251ad40be27SYifei Jiang         }
1252954886eaSAnup Patel 
1253e6faee65SAnup Patel         /* Per-socket interrupt controller */
1254e6faee65SAnup Patel         if (s->aia_type == VIRT_AIA_TYPE_NONE) {
1255e6faee65SAnup Patel             s->irqchip[i] = virt_create_plic(memmap, i,
1256e6faee65SAnup Patel                                              base_hartid, hart_count);
1257e6faee65SAnup Patel         } else {
125828d8c281SAnup Patel             s->irqchip[i] = virt_create_aia(s->aia_type, s->aia_guests,
125928d8c281SAnup Patel                                             memmap, i, base_hartid,
126028d8c281SAnup Patel                                             hart_count);
1261e6faee65SAnup Patel         }
126218df0b46SAnup Patel 
1263e6faee65SAnup Patel         /* Try to use different IRQCHIP instance based device type */
126418df0b46SAnup Patel         if (i == 0) {
1265e6faee65SAnup Patel             mmio_irqchip = s->irqchip[i];
1266e6faee65SAnup Patel             virtio_irqchip = s->irqchip[i];
1267e6faee65SAnup Patel             pcie_irqchip = s->irqchip[i];
126818df0b46SAnup Patel         }
126918df0b46SAnup Patel         if (i == 1) {
1270e6faee65SAnup Patel             virtio_irqchip = s->irqchip[i];
1271e6faee65SAnup Patel             pcie_irqchip = s->irqchip[i];
127218df0b46SAnup Patel         }
127318df0b46SAnup Patel         if (i == 2) {
1274e6faee65SAnup Patel             pcie_irqchip = s->irqchip[i];
127518df0b46SAnup Patel         }
127618df0b46SAnup Patel     }
127704331d0bSMichael Clark 
1278cfeb8a17SBin Meng     if (riscv_is_32bit(&s->soc[0])) {
1279cfeb8a17SBin Meng #if HOST_LONG_BITS == 64
1280cfeb8a17SBin Meng         /* limit RAM size in a 32-bit system */
1281cfeb8a17SBin Meng         if (machine->ram_size > 10 * GiB) {
1282cfeb8a17SBin Meng             machine->ram_size = 10 * GiB;
1283cfeb8a17SBin Meng             error_report("Limiting RAM size to 10 GiB");
1284cfeb8a17SBin Meng         }
1285cfeb8a17SBin Meng #endif
128619800265SBin Meng         virt_high_pcie_memmap.base = VIRT32_HIGH_PCIE_MMIO_BASE;
128719800265SBin Meng         virt_high_pcie_memmap.size = VIRT32_HIGH_PCIE_MMIO_SIZE;
128819800265SBin Meng     } else {
128919800265SBin Meng         virt_high_pcie_memmap.size = VIRT64_HIGH_PCIE_MMIO_SIZE;
129019800265SBin Meng         virt_high_pcie_memmap.base = memmap[VIRT_DRAM].base + machine->ram_size;
129119800265SBin Meng         virt_high_pcie_memmap.base =
129219800265SBin Meng             ROUND_UP(virt_high_pcie_memmap.base, virt_high_pcie_memmap.size);
1293cfeb8a17SBin Meng     }
1294cfeb8a17SBin Meng 
129504331d0bSMichael Clark     /* register system main memory (actual RAM) */
129604331d0bSMichael Clark     memory_region_add_subregion(system_memory, memmap[VIRT_DRAM].base,
129703fd0c5fSMingwang Li         machine->ram);
129804331d0bSMichael Clark 
129904331d0bSMichael Clark     /* create device tree */
13009d011430SAlistair Francis     create_fdt(s, memmap, machine->ram_size, machine->kernel_cmdline,
1301a8259b53SAlistair Francis                riscv_is_32bit(&s->soc[0]));
130204331d0bSMichael Clark 
130304331d0bSMichael Clark     /* boot rom */
13045aec3247SMichael Clark     memory_region_init_rom(mask_rom, NULL, "riscv_virt_board.mrom",
13055aec3247SMichael Clark                            memmap[VIRT_MROM].size, &error_fatal);
13065aec3247SMichael Clark     memory_region_add_subregion(system_memory, memmap[VIRT_MROM].base,
13075aec3247SMichael Clark                                 mask_rom);
130804331d0bSMichael Clark 
1309ad40be27SYifei Jiang     /*
1310ad40be27SYifei Jiang      * Only direct boot kernel is currently supported for KVM VM,
1311*8f013700SRalf Ramsauer      * so the "-bios" parameter is not supported when KVM is enabled.
1312ad40be27SYifei Jiang      */
1313ad40be27SYifei Jiang     if (kvm_enabled()) {
1314*8f013700SRalf Ramsauer         if (machine->firmware) {
1315*8f013700SRalf Ramsauer             if (strcmp(machine->firmware, "none")) {
1316*8f013700SRalf Ramsauer                 error_report("Machine mode firmware is not supported in "
1317*8f013700SRalf Ramsauer                              "combination with KVM.");
1318*8f013700SRalf Ramsauer                 exit(1);
1319*8f013700SRalf Ramsauer             }
1320*8f013700SRalf Ramsauer         } else {
1321ad40be27SYifei Jiang             machine->firmware = g_strdup("none");
1322ad40be27SYifei Jiang         }
1323*8f013700SRalf Ramsauer     }
1324ad40be27SYifei Jiang 
1325a8259b53SAlistair Francis     if (riscv_is_32bit(&s->soc[0])) {
13269d011430SAlistair Francis         firmware_end_addr = riscv_find_and_load_firmware(machine,
1327a0acd0a1SBin Meng                                     RISCV32_BIOS_BIN, start_addr, NULL);
13289d011430SAlistair Francis     } else {
13299d011430SAlistair Francis         firmware_end_addr = riscv_find_and_load_firmware(machine,
1330a0acd0a1SBin Meng                                     RISCV64_BIOS_BIN, start_addr, NULL);
13319d011430SAlistair Francis     }
1332b3042223SAlistair Francis 
133304331d0bSMichael Clark     if (machine->kernel_filename) {
1334a8259b53SAlistair Francis         kernel_start_addr = riscv_calc_kernel_start_addr(&s->soc[0],
133538bc4e34SAlistair Francis                                                          firmware_end_addr);
133638bc4e34SAlistair Francis 
133738bc4e34SAlistair Francis         kernel_entry = riscv_load_kernel(machine->kernel_filename,
133838bc4e34SAlistair Francis                                          kernel_start_addr, NULL);
133904331d0bSMichael Clark 
134004331d0bSMichael Clark         if (machine->initrd_filename) {
134104331d0bSMichael Clark             hwaddr start;
13420ac24d56SAlistair Francis             hwaddr end = riscv_load_initrd(machine->initrd_filename,
134304331d0bSMichael Clark                                            machine->ram_size, kernel_entry,
134404331d0bSMichael Clark                                            &start);
1345c65d7080SAlex Bennée             qemu_fdt_setprop_cell(machine->fdt, "/chosen",
134604331d0bSMichael Clark                                   "linux,initrd-start", start);
1347c65d7080SAlex Bennée             qemu_fdt_setprop_cell(machine->fdt, "/chosen", "linux,initrd-end",
134804331d0bSMichael Clark                                   end);
134904331d0bSMichael Clark         }
1350dc144fe1SAtish Patra     } else {
1351dc144fe1SAtish Patra        /*
1352dc144fe1SAtish Patra         * If dynamic firmware is used, it doesn't know where is the next mode
1353dc144fe1SAtish Patra         * if kernel argument is not set.
1354dc144fe1SAtish Patra         */
1355dc144fe1SAtish Patra         kernel_entry = 0;
135604331d0bSMichael Clark     }
135704331d0bSMichael Clark 
13582738b3b5SAlistair Francis     if (drive_get(IF_PFLASH, 0, 0)) {
13592738b3b5SAlistair Francis         /*
13602738b3b5SAlistair Francis          * Pflash was supplied, let's overwrite the address we jump to after
13612738b3b5SAlistair Francis          * reset to the base of the flash.
13622738b3b5SAlistair Francis          */
13632738b3b5SAlistair Francis         start_addr = virt_memmap[VIRT_FLASH].base;
13642738b3b5SAlistair Francis     }
13652738b3b5SAlistair Francis 
13660489348dSAsherah Connor     /*
13670489348dSAsherah Connor      * Init fw_cfg.  Must be done before riscv_load_fdt, otherwise the device
13680489348dSAsherah Connor      * tree cannot be altered and we get FDT_ERR_NOSPACE.
13690489348dSAsherah Connor      */
13700489348dSAsherah Connor     s->fw_cfg = create_fw_cfg(machine);
13710489348dSAsherah Connor     rom_set_fw(s->fw_cfg);
13720489348dSAsherah Connor 
137366b1205bSAtish Patra     /* Compute the fdt load address in dram */
137466b1205bSAtish Patra     fdt_load_addr = riscv_load_fdt(memmap[VIRT_DRAM].base,
1375c65d7080SAlex Bennée                                    machine->ram_size, machine->fdt);
137643cf723aSAtish Patra     /* load the reset vector */
1377a8259b53SAlistair Francis     riscv_setup_rom_reset_vec(machine, &s->soc[0], start_addr,
13783ed2b8acSAlistair Francis                               virt_memmap[VIRT_MROM].base,
1379dc144fe1SAtish Patra                               virt_memmap[VIRT_MROM].size, kernel_entry,
1380c65d7080SAlex Bennée                               fdt_load_addr, machine->fdt);
138104331d0bSMichael Clark 
1382ad40be27SYifei Jiang     /*
1383ad40be27SYifei Jiang      * Only direct boot kernel is currently supported for KVM VM,
1384ad40be27SYifei Jiang      * So here setup kernel start address and fdt address.
1385ad40be27SYifei Jiang      * TODO:Support firmware loading and integrate to TCG start
1386ad40be27SYifei Jiang      */
1387ad40be27SYifei Jiang     if (kvm_enabled()) {
1388ad40be27SYifei Jiang         riscv_setup_direct_kernel(kernel_entry, fdt_load_addr);
1389ad40be27SYifei Jiang     }
1390ad40be27SYifei Jiang 
139118df0b46SAnup Patel     /* SiFive Test MMIO device */
139204331d0bSMichael Clark     sifive_test_create(memmap[VIRT_TEST].base);
139304331d0bSMichael Clark 
139418df0b46SAnup Patel     /* VirtIO MMIO devices */
139504331d0bSMichael Clark     for (i = 0; i < VIRTIO_COUNT; i++) {
139604331d0bSMichael Clark         sysbus_create_simple("virtio-mmio",
139704331d0bSMichael Clark             memmap[VIRT_VIRTIO].base + i * memmap[VIRT_VIRTIO].size,
1398e6faee65SAnup Patel             qdev_get_gpio_in(DEVICE(virtio_irqchip), VIRTIO_IRQ + i));
139904331d0bSMichael Clark     }
140004331d0bSMichael Clark 
14016d56e396SAlistair Francis     gpex_pcie_init(system_memory,
14026d56e396SAlistair Francis                    memmap[VIRT_PCIE_ECAM].base,
14036d56e396SAlistair Francis                    memmap[VIRT_PCIE_ECAM].size,
14046d56e396SAlistair Francis                    memmap[VIRT_PCIE_MMIO].base,
14056d56e396SAlistair Francis                    memmap[VIRT_PCIE_MMIO].size,
140619800265SBin Meng                    virt_high_pcie_memmap.base,
140719800265SBin Meng                    virt_high_pcie_memmap.size,
14086d56e396SAlistair Francis                    memmap[VIRT_PCIE_PIO].base,
1409e6faee65SAnup Patel                    DEVICE(pcie_irqchip));
14106d56e396SAlistair Francis 
141104331d0bSMichael Clark     serial_mm_init(system_memory, memmap[VIRT_UART0].base,
1412e6faee65SAnup Patel         0, qdev_get_gpio_in(DEVICE(mmio_irqchip), UART0_IRQ), 399193,
14139bca0edbSPeter Maydell         serial_hd(0), DEVICE_LITTLE_ENDIAN);
1414b6aa6cedSMichael Clark 
141567b5ef30SAnup Patel     sysbus_create_simple("goldfish_rtc", memmap[VIRT_RTC].base,
1416e6faee65SAnup Patel         qdev_get_gpio_in(DEVICE(mmio_irqchip), RTC_IRQ));
141767b5ef30SAnup Patel 
141871eb522cSAlistair Francis     virt_flash_create(s);
141971eb522cSAlistair Francis 
142071eb522cSAlistair Francis     for (i = 0; i < ARRAY_SIZE(s->flash); i++) {
142171eb522cSAlistair Francis         /* Map legacy -drive if=pflash to machine properties */
142271eb522cSAlistair Francis         pflash_cfi01_legacy_drive(s->flash[i],
142371eb522cSAlistair Francis                                   drive_get(IF_PFLASH, 0, i));
142471eb522cSAlistair Francis     }
142571eb522cSAlistair Francis     virt_flash_map(s, system_memory);
142604331d0bSMichael Clark }
142704331d0bSMichael Clark 
1428b2a3a071SBin Meng static void virt_machine_instance_init(Object *obj)
142904331d0bSMichael Clark {
1430cdfc19e4SAlistair Francis }
1431cdfc19e4SAlistair Francis 
143228d8c281SAnup Patel static char *virt_get_aia_guests(Object *obj, Error **errp)
143328d8c281SAnup Patel {
143428d8c281SAnup Patel     RISCVVirtState *s = RISCV_VIRT_MACHINE(obj);
143528d8c281SAnup Patel     char val[32];
143628d8c281SAnup Patel 
143728d8c281SAnup Patel     sprintf(val, "%d", s->aia_guests);
143828d8c281SAnup Patel     return g_strdup(val);
143928d8c281SAnup Patel }
144028d8c281SAnup Patel 
144128d8c281SAnup Patel static void virt_set_aia_guests(Object *obj, const char *val, Error **errp)
144228d8c281SAnup Patel {
144328d8c281SAnup Patel     RISCVVirtState *s = RISCV_VIRT_MACHINE(obj);
144428d8c281SAnup Patel 
144528d8c281SAnup Patel     s->aia_guests = atoi(val);
144628d8c281SAnup Patel     if (s->aia_guests < 0 || s->aia_guests > VIRT_IRQCHIP_MAX_GUESTS) {
144728d8c281SAnup Patel         error_setg(errp, "Invalid number of AIA IMSIC guests");
144828d8c281SAnup Patel         error_append_hint(errp, "Valid values be between 0 and %d.\n",
144928d8c281SAnup Patel                           VIRT_IRQCHIP_MAX_GUESTS);
145028d8c281SAnup Patel     }
145128d8c281SAnup Patel }
145228d8c281SAnup Patel 
1453e6faee65SAnup Patel static char *virt_get_aia(Object *obj, Error **errp)
1454e6faee65SAnup Patel {
1455e6faee65SAnup Patel     RISCVVirtState *s = RISCV_VIRT_MACHINE(obj);
1456e6faee65SAnup Patel     const char *val;
1457e6faee65SAnup Patel 
1458e6faee65SAnup Patel     switch (s->aia_type) {
1459e6faee65SAnup Patel     case VIRT_AIA_TYPE_APLIC:
1460e6faee65SAnup Patel         val = "aplic";
1461e6faee65SAnup Patel         break;
146228d8c281SAnup Patel     case VIRT_AIA_TYPE_APLIC_IMSIC:
146328d8c281SAnup Patel         val = "aplic-imsic";
146428d8c281SAnup Patel         break;
1465e6faee65SAnup Patel     default:
1466e6faee65SAnup Patel         val = "none";
1467e6faee65SAnup Patel         break;
1468e6faee65SAnup Patel     };
1469e6faee65SAnup Patel 
1470e6faee65SAnup Patel     return g_strdup(val);
1471e6faee65SAnup Patel }
1472e6faee65SAnup Patel 
1473e6faee65SAnup Patel static void virt_set_aia(Object *obj, const char *val, Error **errp)
1474e6faee65SAnup Patel {
1475e6faee65SAnup Patel     RISCVVirtState *s = RISCV_VIRT_MACHINE(obj);
1476e6faee65SAnup Patel 
1477e6faee65SAnup Patel     if (!strcmp(val, "none")) {
1478e6faee65SAnup Patel         s->aia_type = VIRT_AIA_TYPE_NONE;
1479e6faee65SAnup Patel     } else if (!strcmp(val, "aplic")) {
1480e6faee65SAnup Patel         s->aia_type = VIRT_AIA_TYPE_APLIC;
148128d8c281SAnup Patel     } else if (!strcmp(val, "aplic-imsic")) {
148228d8c281SAnup Patel         s->aia_type = VIRT_AIA_TYPE_APLIC_IMSIC;
1483e6faee65SAnup Patel     } else {
1484e6faee65SAnup Patel         error_setg(errp, "Invalid AIA interrupt controller type");
148528d8c281SAnup Patel         error_append_hint(errp, "Valid values are none, aplic, and "
148628d8c281SAnup Patel                           "aplic-imsic.\n");
1487e6faee65SAnup Patel     }
1488e6faee65SAnup Patel }
1489e6faee65SAnup Patel 
1490954886eaSAnup Patel static bool virt_get_aclint(Object *obj, Error **errp)
1491954886eaSAnup Patel {
1492954886eaSAnup Patel     MachineState *ms = MACHINE(obj);
1493954886eaSAnup Patel     RISCVVirtState *s = RISCV_VIRT_MACHINE(ms);
1494954886eaSAnup Patel 
1495954886eaSAnup Patel     return s->have_aclint;
1496954886eaSAnup Patel }
1497954886eaSAnup Patel 
1498954886eaSAnup Patel static void virt_set_aclint(Object *obj, bool value, Error **errp)
1499954886eaSAnup Patel {
1500954886eaSAnup Patel     MachineState *ms = MACHINE(obj);
1501954886eaSAnup Patel     RISCVVirtState *s = RISCV_VIRT_MACHINE(ms);
1502954886eaSAnup Patel 
1503954886eaSAnup Patel     s->have_aclint = value;
1504954886eaSAnup Patel }
1505954886eaSAnup Patel 
1506b2a3a071SBin Meng static void virt_machine_class_init(ObjectClass *oc, void *data)
1507cdfc19e4SAlistair Francis {
150828d8c281SAnup Patel     char str[128];
1509cdfc19e4SAlistair Francis     MachineClass *mc = MACHINE_CLASS(oc);
1510cdfc19e4SAlistair Francis 
1511cdfc19e4SAlistair Francis     mc->desc = "RISC-V VirtIO board";
1512b2a3a071SBin Meng     mc->init = virt_machine_init;
151318df0b46SAnup Patel     mc->max_cpus = VIRT_CPUS_MAX;
151409fe1712SAlistair Francis     mc->default_cpu_type = TYPE_RISCV_CPU_BASE;
1515acead54cSBin Meng     mc->pci_allow_0_address = true;
151618df0b46SAnup Patel     mc->possible_cpu_arch_ids = riscv_numa_possible_cpu_arch_ids;
151718df0b46SAnup Patel     mc->cpu_index_to_instance_props = riscv_numa_cpu_index_to_props;
151818df0b46SAnup Patel     mc->get_default_cpu_node_id = riscv_numa_get_default_cpu_node_id;
151918df0b46SAnup Patel     mc->numa_mem_supported = true;
152003fd0c5fSMingwang Li     mc->default_ram_id = "riscv_virt_board.ram";
1521c346749eSAsherah Connor 
1522c346749eSAsherah Connor     machine_class_allow_dynamic_sysbus_dev(mc, TYPE_RAMFB_DEVICE);
1523954886eaSAnup Patel 
1524954886eaSAnup Patel     object_class_property_add_bool(oc, "aclint", virt_get_aclint,
1525954886eaSAnup Patel                                    virt_set_aclint);
1526954886eaSAnup Patel     object_class_property_set_description(oc, "aclint",
1527954886eaSAnup Patel                                           "Set on/off to enable/disable "
1528954886eaSAnup Patel                                           "emulating ACLINT devices");
1529e6faee65SAnup Patel 
1530e6faee65SAnup Patel     object_class_property_add_str(oc, "aia", virt_get_aia,
1531e6faee65SAnup Patel                                   virt_set_aia);
1532e6faee65SAnup Patel     object_class_property_set_description(oc, "aia",
1533e6faee65SAnup Patel                                           "Set type of AIA interrupt "
1534e6faee65SAnup Patel                                           "conttoller. Valid values are "
153528d8c281SAnup Patel                                           "none, aplic, and aplic-imsic.");
153628d8c281SAnup Patel 
153728d8c281SAnup Patel     object_class_property_add_str(oc, "aia-guests",
153828d8c281SAnup Patel                                   virt_get_aia_guests,
153928d8c281SAnup Patel                                   virt_set_aia_guests);
154028d8c281SAnup Patel     sprintf(str, "Set number of guest MMIO pages for AIA IMSIC. Valid value "
154128d8c281SAnup Patel                  "should be between 0 and %d.", VIRT_IRQCHIP_MAX_GUESTS);
154228d8c281SAnup Patel     object_class_property_set_description(oc, "aia-guests", str);
154304331d0bSMichael Clark }
154404331d0bSMichael Clark 
1545b2a3a071SBin Meng static const TypeInfo virt_machine_typeinfo = {
1546cdfc19e4SAlistair Francis     .name       = MACHINE_TYPE_NAME("virt"),
1547cdfc19e4SAlistair Francis     .parent     = TYPE_MACHINE,
1548b2a3a071SBin Meng     .class_init = virt_machine_class_init,
1549b2a3a071SBin Meng     .instance_init = virt_machine_instance_init,
1550cdfc19e4SAlistair Francis     .instance_size = sizeof(RISCVVirtState),
1551cdfc19e4SAlistair Francis };
1552cdfc19e4SAlistair Francis 
1553b2a3a071SBin Meng static void virt_machine_init_register_types(void)
1554cdfc19e4SAlistair Francis {
1555b2a3a071SBin Meng     type_register_static(&virt_machine_typeinfo);
1556cdfc19e4SAlistair Francis }
1557cdfc19e4SAlistair Francis 
1558b2a3a071SBin Meng type_init(virt_machine_init_register_types)
1559