Re: [PATCH] configure: define CONFIG_XEN when Xen is enabled

[Peter Maydell <peter.maydell@xxxxxxxxxx>]

On Tue, 28 Jul 2020 at 10:51, Philippe Mathieu-Daudé <philmd@xxxxxxxxxx> wrote:
> I'd rather uninline xen_enabled() but I'm not sure this has perf
> penalties. Paolo is that OK to uninline it?

Can we just follow the same working pattern we already have
for kvm_enabled() etc ?

thanks
-- PMM