[Xen-devel] [PATCH] i386 linux: make 32-bit PAE kernel work when built with newer gcc

["Jan Beulich" <JBeulich@xxxxxxxxxx>]

The compiler isn't required to order the two stores ptep_get_and_clear_full() 
in any particular way, and we saw cases
where the upper 32 bits get stored before the lower ones, which causes the 
access to fail (page-fault propagated out of
Xen).

Jan

Attachment: xenlinux-i386-pae-ptep_get_and_clear_full.patch
Description: Text document

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel