1.1 --- a/stage2/cpu.h Mon Feb 22 20:31:50 2016 +0100
1.2 +++ b/stage2/cpu.h Mon Feb 22 23:23:52 2016 +0100
1.3 @@ -9,5 +9,6 @@
1.4 void init_interrupts(void);
1.5 void init_tlb(void);
1.6 void map_page(u32, u32, u32);
1.7 +void tlb_handle(void);
1.8
1.9 #endif /* __CPU_H__ */