@@ -515,9 +515,6 @@ static const void *create_fdt(BostonState *s,
MachineState *mc = s->mach;
uint32_t platreg_ph, gic_ph, clk_ph;
char *name, *gic_name, *platreg_name, *stdout_name;
- static const char * const syscon_compat[2] = {
- "img,boston-platform-regs", "syscon"
- };
fdt = create_device_tree(dt_size);
if (!fdt) {
@@ -608,9 +605,8 @@ static const void *create_fdt(BostonState *s,
platreg_name = g_strdup_printf("/soc/system-controller@%" HWADDR_PRIx,
memmap[BOSTON_PLATREG].base);
qemu_fdt_add_subnode(fdt, platreg_name);
- qemu_fdt_setprop_string_array(fdt, platreg_name, "compatible",
- (char **)&syscon_compat,
- ARRAY_SIZE(syscon_compat));
+ qemu_fdt_setprop_strings(fdt, platreg_name, "compatible",
+ "img,boston-platform-regs", "syscon");
qemu_fdt_setprop_cells(fdt, platreg_name, "reg",
memmap[BOSTON_PLATREG].base,
memmap[BOSTON_PLATREG].size);