diff options
| author | Sheng Yang <sheng@linux.intel.com> | 2009-07-09 17:00:42 +0800 |
|---|---|---|
| committer | Avi Kivity <avi@redhat.com> | 2009-09-10 08:33:14 +0300 |
| commit | 3662cb1cd6ed26873ca808f3e16cc54246ad40ca (patch) | |
| tree | ecc11fa956e94cd3599f1bf5998ab54528f3fba1 /usr | |
| parent | 4088bb3caee82086fd85a844604274f6237f66a7 (diff) | |
KVM: Discard unnecessary kvm_mmu_flush_tlb() in kvm_mmu_load()
set_cr3() should already cover the TLB flushing.
Signed-off-by: Sheng Yang <sheng@linux.intel.com>
Signed-off-by: Marcelo Tosatti <mtosatti@redhat.com>
Diffstat (limited to 'usr')
0 files changed, 0 insertions, 0 deletions