On Mon, 29 Jul 2019 at 15:59, Damien Hedde <damien.he...@greensocs.com> wrote:
> +For Devices and Buses there is also the corresponding helpers: > +void device_reset(Device *dev, bool cold) > +void bus_reset(Device *dev, bool cold Just noticed, but the prototype here is wrong: bus_reset() takes a BusState*, not a Device*. thanks -- PMM