On Tue, Oct 18, 2022 at 10:57:37AM +0200, Jan Beulich wrote: > Shouldn't this then be xen_pv_domain() that you use here, and - if you > really want IS_ENABLED() in addition - CONFIG_XEN_PV? I'll need help from people that understand Xen better than me what the exact conditions (and maybe also comments are).
