sim_io_eprintf (sd, "Valid devices: cpu timer sio eeprom\n");
return;
}
- hw_dev = sim_hw_parse (sd, dev_list[i].device);
+ hw_dev = sim_hw_parse (sd, "%s", dev_list[i].device);
if (hw_dev == 0)
{
sim_io_eprintf (sd, "Device '%s' not found\n", dev_list[i].device);
cpu_type = "/m68hc12";
}
- hw_cpu = sim_hw_parse (sd, cpu_type);
+ hw_cpu = sim_hw_parse (sd, "%s", cpu_type);
if (hw_cpu == 0)
{
sim_io_eprintf (sd, "%s cpu not found in device tree.", cpu_type);