Merge branch 'master' into master-gdb_stubs

1 files changed, 1 insertions, 8 deletions

diff --git a/xen/xen.c b/xen/xen.c
index f8f964eb..28953512 100644
--- a/xen/xen.c
+++ b/xen/xen.c
@@ -1,5 +1,5 @@
 /*
- *  Copyright (C) 2007-2011 Samuel Thibault <samuel.thibault@ens-lyon.org>
+ *  Copyright (C) 2007-2011 Free Software Foundation
  *
  * This program is free software ; you can redistribute it and/or modify
  * it under the terms of the GNU General Public License as published by
@@ -30,13 +30,6 @@
 #include "xen.h"
 #include "evt.h"
 
-void hyp_invalidate_pte(pt_entry_t *pte)
-{
-	if (!hyp_mmu_update_pte(kv_to_ma(pte), (*pte) & ~INTEL_PTE_VALID))
-		panic("%s:%d could not set pte %p(%p) to %p(%p)\n",__FILE__,__LINE__,pte,(vm_offset_t) kv_to_ma(pte),*pte,ma_to_pa(*pte));
-	hyp_mmuext_op_void(MMUEXT_TLB_FLUSH_LOCAL);
-}
-
 void hyp_debug()
 {
 	panic("debug");