diff options
| author | Joerg Roedel <joerg.roedel@amd.com> | 2009-02-18 14:08:59 +0100 |
|---|---|---|
| committer | Avi Kivity <avi@redhat.com> | 2009-03-24 11:03:10 +0200 |
| commit | 6bed6b9e84bf5e6b468847a50c0751389fdd01d4 (patch) | |
| tree | 485f95ce3a1c3053bddf44303c47514a9a0e83ec /.gitignore | |
| parent | fc5659c8c6b6c4e02ac354b369017c1bf231f347 (diff) | |
KVM: MMU: remove redundant check in mmu_set_spte
The following code flow is unnecessary:
if (largepage)
was_rmapped = is_large_pte(*shadow_pte);
else
was_rmapped = 1;
The is_large_pte() function will always evaluate to one here because the
(largepage && !is_large_pte) case is already handled in the first
if-clause. So we can remove this check and set was_rmapped to one always
here.
Signed-off-by: Joerg Roedel <joerg.roedel@amd.com>
Acked-by: Marcelo Tosatti <mtosatti@redhat.com>
Signed-off-by: Avi Kivity <avi@redhat.com>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions