has_feature
if (!has_feature(vcpu, VCPU_FTR_MMU_V2))
if (!has_feature(vcpu, VCPU_FTR_MMU_V2))
if (!has_feature(vcpu, VCPU_FTR_MMU_V2))
if (has_feature(vcpu, VCPU_FTR_MMU_V2)) {
if (has_feature(vcpu, VCPU_FTR_MMU_V2) &&
bool has_feature)
cpuid_entry_change(entry, x86_feature, has_feature);
guest_cpu_cap_change(vcpu, x86_feature, has_feature);