|
@@ -93,9 +93,6 @@ static int dbg = 0;
|
|
module_param(dbg, bool, 0644);
|
|
module_param(dbg, bool, 0644);
|
|
#endif
|
|
#endif
|
|
|
|
|
|
-static int oos_shadow = 1;
|
|
|
|
-module_param(oos_shadow, bool, 0644);
|
|
|
|
-
|
|
|
|
#ifndef MMU_DEBUG
|
|
#ifndef MMU_DEBUG
|
|
#define ASSERT(x) do { } while (0)
|
|
#define ASSERT(x) do { } while (0)
|
|
#else
|
|
#else
|
|
@@ -2196,8 +2193,6 @@ static int mmu_need_write_protect(struct kvm_vcpu *vcpu, gfn_t gfn,
|
|
return 1;
|
|
return 1;
|
|
|
|
|
|
if (!need_unsync && !s->unsync) {
|
|
if (!need_unsync && !s->unsync) {
|
|
- if (!oos_shadow)
|
|
|
|
- return 1;
|
|
|
|
need_unsync = true;
|
|
need_unsync = true;
|
|
}
|
|
}
|
|
}
|
|
}
|