diff options
author | Avi Kivity <avi@qumranet.com> | 2008-06-22 09:46:22 -0400 |
---|---|---|
committer | Avi Kivity <avi@qumranet.com> | 2008-07-20 05:42:35 -0400 |
commit | db475c39eca0f2e44953d96e768d7ce808ab85bd (patch) | |
tree | d471be650198869cdfbe99dd0b571e5b3b6f29ed /arch/x86/kvm | |
parent | 6ada8cca79cb971f5da7d1756f4f9292e3ef1e03 (diff) |
KVM: MMU: Fix printk format
Signed-off-by: Avi Kivity <avi@qumranet.com>
Diffstat (limited to 'arch/x86/kvm')
-rw-r--r-- | arch/x86/kvm/mmu.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/arch/x86/kvm/mmu.c b/arch/x86/kvm/mmu.c index 5994645dcee0..1fd8e3b58cc0 100644 --- a/arch/x86/kvm/mmu.c +++ b/arch/x86/kvm/mmu.c | |||
@@ -1116,7 +1116,7 @@ static void mmu_set_spte(struct kvm_vcpu *vcpu, u64 *shadow_pte, | |||
1116 | mark_page_dirty(vcpu->kvm, gfn); | 1116 | mark_page_dirty(vcpu->kvm, gfn); |
1117 | 1117 | ||
1118 | pgprintk("%s: setting spte %llx\n", __func__, spte); | 1118 | pgprintk("%s: setting spte %llx\n", __func__, spte); |
1119 | pgprintk("instantiating %s PTE (%s) at %d (%llx) addr %llx\n", | 1119 | pgprintk("instantiating %s PTE (%s) at %ld (%llx) addr %p\n", |
1120 | (spte&PT_PAGE_SIZE_MASK)? "2MB" : "4kB", | 1120 | (spte&PT_PAGE_SIZE_MASK)? "2MB" : "4kB", |
1121 | (spte&PT_WRITABLE_MASK)?"RW":"R", gfn, spte, shadow_pte); | 1121 | (spte&PT_WRITABLE_MASK)?"RW":"R", gfn, spte, shadow_pte); |
1122 | set_shadow_pte(shadow_pte, spte); | 1122 | set_shadow_pte(shadow_pte, spte); |