Symbol: VMX_EPT_PAGE_WALK_4_BIT
arch/x86/kvm/vmx/capabilities.h
310
return vmx_capability.ept & VMX_EPT_PAGE_WALK_4_BIT;
arch/x86/kvm/vmx/nested.c
2891
if (CC(!(vmx->nested.msrs.ept_caps & VMX_EPT_PAGE_WALK_4_BIT)))
arch/x86/kvm/vmx/nested.c
7236
VMX_EPT_PAGE_WALK_4_BIT |