diff options
| author | Marcelo Tosatti <mtosatti@redhat.com> | 2008-09-23 13:18:39 -0300 |
|---|---|---|
| committer | Avi Kivity <avi@redhat.com> | 2008-10-15 14:25:25 +0200 |
| commit | 4731d4c7a07769cf2926c327177b97bb8c68cafc (patch) | |
| tree | c732e9de4dbb35c74c158962771b6804dd8db153 /kernel/sched_rt.c | |
| parent | 6844dec6948679d084f054235fee19ba4e3a3096 (diff) | |
| download | op-kernel-dev-4731d4c7a07769cf2926c327177b97bb8c68cafc.zip op-kernel-dev-4731d4c7a07769cf2926c327177b97bb8c68cafc.tar.gz | |
KVM: MMU: out of sync shadow core
Allow guest pagetables to go out of sync. Instead of emulating write
accesses to guest pagetables, or unshadowing them, we un-write-protect
the page table and allow the guest to modify it at will. We rely on
invlpg executions to synchronize individual ptes, and will synchronize
the entire pagetable on tlb flushes.
Signed-off-by: Marcelo Tosatti <mtosatti@redhat.com>
Signed-off-by: Avi Kivity <avi@redhat.com>
Diffstat (limited to 'kernel/sched_rt.c')
0 files changed, 0 insertions, 0 deletions
