is_nx_huge_page_enabled
.nx_huge_page_workaround_enabled = is_nx_huge_page_enabled(vcpu->kvm),
is_nx_huge_page_enabled(vcpu->kvm),
if (level > PG_LEVEL_4K && is_nx_huge_page_enabled(vcpu->kvm)) {
if (is_nx_huge_page_enabled(kvm))
if (is_nx_huge_page_enabled(kvm))