VMX_EPT_PAGE_WALK_4_BIT
return vmx_capability.ept & VMX_EPT_PAGE_WALK_4_BIT;
if (CC(!(vmx->nested.msrs.ept_caps & VMX_EPT_PAGE_WALK_4_BIT)))
VMX_EPT_PAGE_WALK_4_BIT |