1 files changed, 0 insertions, 1 deletions
diff --git a/xen/xen.h b/xen/xen.h
index 6eeb350..2f4d6bd 100644
--- a/xen/xen.h
+++ b/xen/xen.h
@@ -21,7 +21,6 @@
 
 void hyp_init(void);
 void hyp_dev_init(void);
-void hyp_invalidate_pte(pt_entry_t *pte);
 void hyp_idle(void);
 void hyp_p2m_init(void);