Re: [PATCH 00/15] Replace current_machine by qdev_get_machine()

[Markus Armbruster]

Quick pointer to prior discussion:

Message-ID: <87ftqh1ae5....@dusky.pond.sub.org>
https://lists.nongnu.org/archive/html/qemu-devel/2019-04/msg02860.html