is_pkvm_initialized
if (is_pkvm_initialized())
return is_pkvm_initialized() && (esr & ESR_ELx_S1PTW);
is_protected_kvm_enabled() && !is_pkvm_initialized())