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

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.