X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=geekos%2Finclude%2Fgeekos%2Fint.h;h=0097777b087217c211854ac3e157fb3ba67cec88;hp=a80d142cf83e286eba60d25775ca11fa02859c52;hb=a1073097716c800734e117267ce7aa92aa0d9a17;hpb=819c31aa7157ed1e3e17b9f05bf74de38179233d

diff --git a/geekos/include/geekos/int.h b/geekos/include/geekos/int.h
index a80d142..0097777 100644
--- a/geekos/include/geekos/int.h
+++ b/geekos/include/geekos/int.h
@@ -20,6 +20,11 @@
 #include <geekos/ktypes.h>
 #include <geekos/defs.h>
 
+
+// to stop the compilation warnings
+extern void Print(const char* fmt, ...); 
+extern void Set_Current_Attr(uchar_t attrib);
+
 /*
  * This struct reflects the contents of the stack when
  * a C interrupt handler function is called.