Ping: [PATCH 0/2] x86: is_pv*domain() adjustments

[Jan Beulich <jbeulich@xxxxxxxx>]

On 27.11.2020 17:51, Jan Beulich wrote:
> 1: correct is_pv_domain() when !CONFIG_PV
> 2: use is_pv_64bit_domain() to avoid double evaluate_nospec()

Ping?

Thanks, Jan