1 files changed, 0 insertions, 1 deletions
diff --git a/defs.h b/defs.h
index 2bf5005..86268b2 100644
--- a/defs.h
+++ b/defs.h
@@ -73,7 +73,6 @@ int             cpunum(void);
 extern volatile uint*    lapic;
 void            lapiceoi(void);
 void            lapicinit(int);
-void            lapic_tlbflush(uint);
 void            lapicstartap(uchar, uint);
 void            microdelay(int);