diff options
author | Avi Kivity <avi@qumranet.com> | 2007-12-09 11:39:41 -0500 |
---|---|---|
committer | Avi Kivity <avi@qumranet.com> | 2008-01-30 10:53:21 -0500 |
commit | bc750ba860d978fcaac1e0db28774b1f38ae8193 (patch) | |
tree | e359e63b65e1798e4876e04cd52d0ce95f7f893f /drivers | |
parent | 1c4f1fd6d5692614e8dc75ee53f7be590f1e878b (diff) |
KVM: MMU: Adjust mmu_set_spte() debug code for gpte removal
Signed-off-by: Avi Kivity <avi@qumranet.com>
Diffstat (limited to 'drivers')
-rw-r--r-- | drivers/kvm/mmu.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/drivers/kvm/mmu.c b/drivers/kvm/mmu.c index a91e05b42345..b4dd72645853 100644 --- a/drivers/kvm/mmu.c +++ b/drivers/kvm/mmu.c | |||
@@ -888,9 +888,9 @@ static void mmu_set_spte(struct kvm_vcpu *vcpu, u64 *shadow_pte, | |||
888 | int was_rmapped = is_rmap_pte(*shadow_pte); | 888 | int was_rmapped = is_rmap_pte(*shadow_pte); |
889 | struct page *page; | 889 | struct page *page; |
890 | 890 | ||
891 | pgprintk("%s: spte %llx gpte %llx access %x write_fault %d" | 891 | pgprintk("%s: spte %llx access %x write_fault %d" |
892 | " user_fault %d gfn %lx\n", | 892 | " user_fault %d gfn %lx\n", |
893 | __FUNCTION__, *shadow_pte, (u64)gpte, pt_access, | 893 | __FUNCTION__, *shadow_pte, pt_access, |
894 | write_fault, user_fault, gfn); | 894 | write_fault, user_fault, gfn); |
895 | 895 | ||
896 | /* | 896 | /* |