summaryrefslogtreecommitdiff
path: root/xen/xen.c
diff options
context:
space:
mode:
Diffstat (limited to 'xen/xen.c')
-rw-r--r--xen/xen.c7
1 files changed, 0 insertions, 7 deletions
diff --git a/xen/xen.c b/xen/xen.c
index f8f964e..c3c533c 100644
--- a/xen/xen.c
+++ b/xen/xen.c
@@ -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");