|
@@ -1084,7 +1084,6 @@ static void init_vmcb(struct vcpu_svm *svm)
|
|
if (npt_enabled) {
|
|
if (npt_enabled) {
|
|
/* Setup VMCB for Nested Paging */
|
|
/* Setup VMCB for Nested Paging */
|
|
control->nested_ctl = 1;
|
|
control->nested_ctl = 1;
|
|
- clr_intercept(svm, INTERCEPT_TASK_SWITCH);
|
|
|
|
clr_intercept(svm, INTERCEPT_INVLPG);
|
|
clr_intercept(svm, INTERCEPT_INVLPG);
|
|
clr_exception_intercept(svm, PF_VECTOR);
|
|
clr_exception_intercept(svm, PF_VECTOR);
|
|
clr_cr_intercept(svm, INTERCEPT_CR3_READ);
|
|
clr_cr_intercept(svm, INTERCEPT_CR3_READ);
|