mmu_has_mbec
return pte & (7 | (mmu_has_mbec(mmu) ? VMX_EPT_USER_EXECUTABLE_MASK : 0));
if (mmu_has_mbec(mmu))
if (mmu_has_mbec(vcpu->arch.mmu))