Remove the need for stdargh.h and its inclusion from console.h

diff --git a/platform/xen/xen/console/console.c b/platform/xen/xen/console/console.c
index a5b376079549e34282d667714429657e7f662894..fc1aa71d11a83837272b07fa1f94ec9f9ea5ee8c 100644 (file)
--- a/platform/xen/xen/console/console.c
+++ b/platform/xen/xen/console/console.c
@@ -122,7 +122,7 @@ void minios_console_print(struct consfront_dev *dev, char *data, int length)
     ASSERT(ring_send_fn == xencons_ring_send_no_notify || sent == length);
 }
 
-void print(int direct, const char *fmt, va_list args)
+static void print(int direct, const char *fmt, va_list args)
 {
     static char   buf[1024];
     

diff --git a/platform/xen/xen/include/mini-os/console.h b/platform/xen/xen/include/mini-os/console.h
index c04cf761d19bc19210b972e27be91787d768cd7b..ef7a609e61f7b964ae389274c6d96eb5c534f01c 100644 (file)
--- a/platform/xen/xen/include/mini-os/console.h
+++ b/platform/xen/xen/include/mini-os/console.h
@@ -44,7 +44,6 @@
 
 #include <xen/grant_table.h>
 #include <xen/io/console.h>
-#include <stdarg.h>
 
 struct consfront_dev {
     domid_t dom;
@@ -62,7 +61,6 @@ struct consfront_dev {
 
 
 
-void print(int direct, const char *fmt, va_list args);
 void minios_printk(const char *fmt, ...);
 void minios_putc(int);
 void xprintk(const char *fmt, ...);