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

[Jan Beulich]

1: correct is_pv_domain() when !CONFIG_PV
2: use is_pv_64bit_domain() to avoid double evaluate_nospec()

Jan