backported fixes from 256boss

[bootcensus] / src / intr.h

diff --git a/src/intr.h b/src/intr.h
index fe6ed44..f33ec23 100644 (file)
--- a/src/intr.h
+++ b/src/intr.h
@@ -72,6 +72,7 @@ void interrupt(int intr_num, intr_func_t func);
  */
 void set_intr_entry(int num, void (*handler)(void));
 
+void prog_pic(int offs);
 void set_pic_mask(int pic, unsigned char mask);
 unsigned char get_pic_mask(int pic);
 void mask_irq(int irq);