>>> On 22.11.18 at 14:31, <andrew.coop...@citrix.com> wrote: > I think Julien's point is that without explicitly barriers, CPU0's > update to system_state may not be visible on CPU1, even though the > mappings have been shot down. > > Therefore, from the processors point of view, it did everything > correctly, and hit a real pagefault.
Boot time updates of system_state should be of no interest here, as at that time the APs are all idling. The only other update is during S3 suspend/resume, in that case the mappings have been removed long ago. Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel