Add ACPI support.
[akaros.git] / kern / src / printfmt.c
index 68b59da..ac2d7c5 100644 (file)
@@ -13,6 +13,7 @@
 #include <stdarg.h>
 #include <kthread.h>
 #include <ns.h>
+#include <acpi.h>
 
 /* Print a number (base <= 16) in reverse order,
  * using specified putch function and associated pointer putdat. */
@@ -60,6 +61,7 @@ void vprintfmt(void (*putch)(int, void**), void **putdat, const char *fmt, va_li
        int base, lflag, width, precision, altflag;
        char padc;
        uint8_t *mac, *ip, *mask;
+       struct Gas *g;
        int i;
        uint32_t *lp;
 
@@ -157,6 +159,11 @@ void vprintfmt(void (*putch)(int, void**), void **putdat, const char *fmt, va_li
                        }
                        printemac(putch, putdat, mac);
                        break;
+               case 'G':
+                       /* what to do if they screw up? */
+                       if ((g = va_arg(ap, struct Gas*)) != NULL)
+                               Gfmt(putch, putdat, g);
+                       break;
                case 'i':
                        /* what to do if they screw up? */
                        if ((lp = va_arg(ap, uint32_t *)) != NULL){