|
@@ -3039,6 +3039,8 @@ static u64 construct_eptp(unsigned long root_hpa)
|
|
/* TODO write the value reading from MSR */
|
|
/* TODO write the value reading from MSR */
|
|
eptp = VMX_EPT_DEFAULT_MT |
|
|
eptp = VMX_EPT_DEFAULT_MT |
|
|
VMX_EPT_DEFAULT_GAW << VMX_EPT_GAW_EPTP_SHIFT;
|
|
VMX_EPT_DEFAULT_GAW << VMX_EPT_GAW_EPTP_SHIFT;
|
|
|
|
+ if (enable_ept_ad_bits)
|
|
|
|
+ eptp |= VMX_EPT_AD_ENABLE_BIT;
|
|
eptp |= (root_hpa & PAGE_MASK);
|
|
eptp |= (root_hpa & PAGE_MASK);
|
|
|
|
|
|
return eptp;
|
|
return eptp;
|