diff options
Diffstat (limited to 'drivers/kvm/paging_tmpl.h')
-rw-r--r-- | drivers/kvm/paging_tmpl.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/drivers/kvm/paging_tmpl.h b/drivers/kvm/paging_tmpl.h index f7cce443ca6f..cd71973c780c 100644 --- a/drivers/kvm/paging_tmpl.h +++ b/drivers/kvm/paging_tmpl.h | |||
@@ -133,6 +133,7 @@ static void FNAME(walk_addr)(struct guest_walker *walker, | |||
133 | walker->level - 1, table_gfn); | 133 | walker->level - 1, table_gfn); |
134 | } | 134 | } |
135 | walker->ptep = ptep; | 135 | walker->ptep = ptep; |
136 | pgprintk("%s: pte %llx\n", __FUNCTION__, (u64)*ptep); | ||
136 | } | 137 | } |
137 | 138 | ||
138 | static void FNAME(release_walker)(struct guest_walker *walker) | 139 | static void FNAME(release_walker)(struct guest_walker *walker) |