diff options
| author | Marcelo Tosatti <mtosatti@redhat.com> | 2008-10-15 05:45:08 -0400 |
|---|---|---|
| committer | Avi Kivity <avi@redhat.com> | 2008-10-28 08:09:27 -0400 |
| commit | 6ad9f15c94822c3f067a7d443f3b414e08b34460 (patch) | |
| tree | 320d4c110bc5d14134d705ebb6b64bb428833254 /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 'include')
0 files changed, 0 insertions, 0 deletions