![]() | |||||||||||||
Messages in this thread
Patch in this message |
Signed-off-by: Avi Kivity <avi@qumranet.com>
---
drivers/kvm/paging_tmpl.h | 1 -
1 files changed, 0 insertions(+), 1 deletions(-)
diff --git a/drivers/kvm/paging_tmpl.h b/drivers/kvm/paging_tmpl.h
index be66401..77a2b22 100644
--- a/drivers/kvm/paging_tmpl.h
+++ b/drivers/kvm/paging_tmpl.h
@@ -72,7 +72,6 @@ static int FNAME(walk_addr)(struct guest_walker *walker,
struct kvm_vcpu *vcpu, gva_t addr,
int write_fault, int user_fault, int fetch_fault)
{
- pt_element_t *table;
pt_element_t pte;
gfn_t table_gfn;
unsigned index;
--
1.5.3.7
| ||||||||||||
| Last update: 2007-12-30 08:23 [from the cache] ©2003-2008 | |||||||||||||