X86FSET_PAE
X86FSET_PAE)) {
if (is_x86_feature(x86_featureset, X86FSET_PAE)) {
if (mmu.pae_hat && !is_x86_feature(x86_featureset, X86FSET_PAE))
add_x86_feature(featureset, X86FSET_PAE);
if (is_x86_feature(featureset, X86FSET_PAE))
if (is_x86_feature(x86_featureset, X86FSET_PAE)) {