Hi Juergen,
On 11/01/2023 06:36, Juergen Gross wrote:
On 20.12.22 20:01, Julien Grall wrote:
On 13/12/2022 16:00, Juergen Gross wrote:
When a domain has been released by Xen tools, remove all its
registered watches. This avoids sending watch events to the dead domain
when all the nodes related to it are being removed by the Xen tools.
AFAICT, the only user of the command in the tree is softreset. Would
you be able to check this is still working as expected?
Seems to work fine.
Thanks for the confirmation! You can add my reviewed-by:
Reviewed-by: Julien Grall <[email protected]>
Cheers,
--
Julien Grall
