Re: [PATCH] docs/devel: Mention post_load hook restrictions where we document the hook

2024-10-03 Thread Philippe Mathieu-Daudé
On 3/10/24 16:34, Peter Maydell wrote: Accessing another device in a post_load hook is a bad idea, because the order of device save/restore is not fixed, and so this cross-device access makes the save/restore non-deterministic. We previously only flagged up this requirement in the record-and-rep

[PATCH] docs/devel: Mention post_load hook restrictions where we document the hook

2024-10-03 Thread Peter Maydell
Accessing another device in a post_load hook is a bad idea, because the order of device save/restore is not fixed, and so this cross-device access makes the save/restore non-deterministic. We previously only flagged up this requirement in the record-and-replay developer docs; repeat it in the main