Re: Xen modules

[Manuel Bouyer <bouyer%antioche.eu.org@localhost>]

On Thu, Nov 07, 2013 at 07:08:00PM -0800, John Nemeth wrote:
>      There's basically two choices.  wbinvd() calls xpq_flush_cache().
> It's the only caller.  So, the first choice is to change wbinvd()
> to do the WBINVD and delete xpq_flush_cache().  The second option
> is to modify xpq_flush_cache() to do the WBINVD instead of making
> the hypercall, which is the method I tested since that's the smallest
> change.  Right now, xpq_flush_cache() looks like:

I think the first option is wrong because it would not do the
xpq_flush_queue(). Or did I miss something ?

-- 
Manuel Bouyer <bouyer%antioche.eu.org@localhost>
     NetBSD: 26 ans d'experience feront toujours la difference
--