In the course of trying to get CONFIG_HIGHPTE to work I stumbled across this
inconsistency between i386 and x86-64 Linux: i386 uses SetPageForeign() in
(one the non-highpte) case of pte_alloc_one(), and leaves intact native's
definition of __pte_free_tlb(), whereas x86-64 doesn't use the former but
shortcuts the latter to just invoke pte_free(). Obviously it would be nice for
these two to be consistent, the question just is which of the two behaviors
is more desirable: Obviously, performance wise using the PageForeign
mechanism would be preferable, but delta-to-native-wise I would think this
is the less desirable solution.
Thanks for any thoughts or suggestions,
Jan
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel