diff --git a/src/include/pc80/i8259.h b/src/include/pc80/i8259.h
new file mode 100644
index 0000000000..10a3fc8071
--- /dev/null
+++ b/src/include/pc80/i8259.h
@@ -0,0 +1 @@
+void setup_i8259(void);
diff --git a/src/pc80/i8259.c b/src/pc80/i8259.c
index 8ebcd27dd1..a397e0e0d8 100644
--- a/src/pc80/i8259.c
+++ b/src/pc80/i8259.c
@@ -1,4 +1,5 @@
 #include <arch/io.h>
+#include <pc80/i8259.h>
 /* code taken from: 
 !
 !	setup.S		Copyright (C) 1991, 1992 Linus Torvalds