On Sun, Nov 10, 2013 at 11:17:54AM -0800, John Nemeth wrote: > } x86_wbind()? Which however appears to be (icorrectly?) #ifndef'd for Xen. > > Uh, the function for Xen would be wbinvd(), which would create > a very nice infinite loop as all that function does is call > xpq_flush_cache(). This change was fully discussed on tech-xen@.
My point kind of was that why not fix the trivial function for Xen instead of a direct asm() call? - Jukka.