diff options
author | Avi Kivity <avi@qumranet.com> | 2007-02-19 07:37:46 -0500 |
---|---|---|
committer | Avi Kivity <avi@qumranet.com> | 2007-03-04 04:12:39 -0500 |
commit | d27d4aca184ac0ca6b7e32caf79e1c2b91959be9 (patch) | |
tree | 048e9ea24b55ac63783cc6cc3495d0feb5de57d0 /drivers/kvm/paging_tmpl.h | |
parent | 43934a38d7cb39ff33baedc7f2c40a2a891116fa (diff) |
KVM: Cosmetics
Signed-off-by: Avi Kivity <avi@qumranet.com>
Diffstat (limited to 'drivers/kvm/paging_tmpl.h')
-rw-r--r-- | drivers/kvm/paging_tmpl.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/drivers/kvm/paging_tmpl.h b/drivers/kvm/paging_tmpl.h index 6507ccb1ea2a..f3bcee904651 100644 --- a/drivers/kvm/paging_tmpl.h +++ b/drivers/kvm/paging_tmpl.h | |||
@@ -441,9 +441,8 @@ static int FNAME(page_fault)(struct kvm_vcpu *vcpu, gva_t addr, | |||
441 | /* | 441 | /* |
442 | * mmio: emulate if accessible, otherwise its a guest fault. | 442 | * mmio: emulate if accessible, otherwise its a guest fault. |
443 | */ | 443 | */ |
444 | if (is_io_pte(*shadow_pte)) { | 444 | if (is_io_pte(*shadow_pte)) |
445 | return 1; | 445 | return 1; |
446 | } | ||
447 | 446 | ||
448 | ++kvm_stat.pf_fixed; | 447 | ++kvm_stat.pf_fixed; |
449 | kvm_mmu_audit(vcpu, "post page fault (fixed)"); | 448 | kvm_mmu_audit(vcpu, "post page fault (fixed)"); |