|
@@ -187,7 +187,6 @@ static void microchip_pfsoc_soc_realize(DeviceState *dev, Error **errp)
|
|
MemoryRegion *envm_data = g_new(MemoryRegion, 1);
|
|
MemoryRegion *envm_data = g_new(MemoryRegion, 1);
|
|
MemoryRegion *qspi_xip_mem = g_new(MemoryRegion, 1);
|
|
MemoryRegion *qspi_xip_mem = g_new(MemoryRegion, 1);
|
|
char *plic_hart_config;
|
|
char *plic_hart_config;
|
|
- size_t plic_hart_config_len;
|
|
|
|
NICInfo *nd;
|
|
NICInfo *nd;
|
|
int i;
|
|
int i;
|
|
|
|
|
|
@@ -262,18 +261,7 @@ static void microchip_pfsoc_soc_realize(DeviceState *dev, Error **errp)
|
|
l2lim_mem);
|
|
l2lim_mem);
|
|
|
|
|
|
/* create PLIC hart topology configuration string */
|
|
/* create PLIC hart topology configuration string */
|
|
- plic_hart_config_len = (strlen(MICROCHIP_PFSOC_PLIC_HART_CONFIG) + 1) *
|
|
|
|
- ms->smp.cpus;
|
|
|
|
- plic_hart_config = g_malloc0(plic_hart_config_len);
|
|
|
|
- for (i = 0; i < ms->smp.cpus; i++) {
|
|
|
|
- if (i != 0) {
|
|
|
|
- strncat(plic_hart_config, "," MICROCHIP_PFSOC_PLIC_HART_CONFIG,
|
|
|
|
- plic_hart_config_len);
|
|
|
|
- } else {
|
|
|
|
- strncat(plic_hart_config, "M", plic_hart_config_len);
|
|
|
|
- }
|
|
|
|
- plic_hart_config_len -= (strlen(MICROCHIP_PFSOC_PLIC_HART_CONFIG) + 1);
|
|
|
|
- }
|
|
|
|
|
|
+ plic_hart_config = riscv_plic_hart_config_string(ms->smp.cpus);
|
|
|
|
|
|
/* PLIC */
|
|
/* PLIC */
|
|
s->plic = sifive_plic_create(memmap[MICROCHIP_PFSOC_PLIC].base,
|
|
s->plic = sifive_plic_create(memmap[MICROCHIP_PFSOC_PLIC].base,
|