VMX_EPT_PAGE_WALK_4_BIT  288 arch/x86/kvm/vmx/capabilities.h 	return vmx_capability.ept & VMX_EPT_PAGE_WALK_4_BIT;
VMX_EPT_PAGE_WALK_4_BIT 5929 arch/x86/kvm/vmx/nested.c 		msrs->ept_caps = VMX_EPT_PAGE_WALK_4_BIT |