diff options
author | Marcelo Tosatti <mtosatti@redhat.com> | 2008-10-15 07:45:08 -0200 |
---|---|---|
committer | Avi Kivity <avi@redhat.com> | 2008-10-28 14:09:27 +0200 |
commit | 6ad9f15c94822c3f067a7d443f3b414e08b34460 (patch) | |
tree | 320d4c110bc5d14134d705ebb6b64bb428833254 /arch/x86/include | |
parent | 49fdf6785fd660e18a1eb4588928f47e9fa29a9a (diff) |
KVM: MMU: sync root on paravirt TLB flush
The pvmmu TLB flush handler should request a root sync, similarly to
a native read-write CR3.
Signed-off-by: Marcelo Tosatti <mtosatti@redhat.com>
Signed-off-by: Avi Kivity <avi@redhat.com>
Diffstat (limited to 'arch/x86/include')
0 files changed, 0 insertions, 0 deletions