diff options
| author | Marcelo Tosatti <mtosatti@redhat.com> | 2013-03-12 21:36:43 -0400 |
|---|---|---|
| committer | Gleb Natapov <gleb@redhat.com> | 2013-03-13 05:46:09 -0400 |
| commit | 5d218814328da91a27e982748443e7e375e11396 (patch) | |
| tree | 46ef91eb8d845cea7500450fb041b9e5e444e63f /mm | |
| parent | 57f252f22908535e04d520f3833a6e3116eb159d (diff) | |
KVM: MMU: make kvm_mmu_available_pages robust against n_used_mmu_pages > n_max_mmu_pages
As noticed by Ulrich Obergfell <uobergfe@redhat.com>, the mmu
counters are for beancounting purposes only - so n_used_mmu_pages and
n_max_mmu_pages could be relaxed (example: before f0f5933a1626c8df7b),
resulting in n_used_mmu_pages > n_max_mmu_pages.
Make code robust against n_used_mmu_pages > n_max_mmu_pages.
Reviewed-by: Xiao Guangrong <xiaoguangrong@linux.vnet.ibm.com>
Signed-off-by: Marcelo Tosatti <mtosatti@redhat.com>
Signed-off-by: Gleb Natapov <gleb@redhat.com>
Diffstat (limited to 'mm')
0 files changed, 0 insertions, 0 deletions