1.1 --- a/stage2/irq.c Mon Feb 29 23:59:40 2016 +0100
1.2 +++ b/stage2/irq.c Tue Mar 01 00:50:20 2016 +0100
1.3 @@ -28,6 +28,7 @@
1.4 #include "lcd.h"
1.5 #include "jzlcd.h"
1.6 #include "cpu.h"
1.7 +#include "paging.h"
1.8 #include "irq.h"
1.9
1.10 extern vidinfo_t panel_info;