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