On 2/25/25 12:02, Richard Henderson wrote:
Not checked here are any of the other reasons a flush might be ok:(2) The system as a whole is stopped, on the way in from migration/vmload. (3) The cpu is offline, on the way in from poweroff/reset.
(4) Running in round-robin mode, so there is *never* a race between cpus. Anything else I've forgotten? r~
