On Wed, Jan 31, 2018 at 11:53 AM, David Woodhouse <dwmw2@xxxxxxxxxxxxx> wrote: > Rather than doing the expensive guest_cpu_has() every time (which is > worse now as we realised we need two of them) perhaps we should > introduce a local flag for that too? That sounds good to me.
