-void
-udbg_puthex(unsigned long val)
-{
- int i, nibbles = sizeof(val)*2;
- unsigned char buf[sizeof(val)*2+1];
- for (i = nibbles-1; i >= 0; i--) {
- buf[i] = (val & 0xf) + '0';
- if (buf[i] > '9')
- buf[i] += ('a'-'0'-10);
- val >>= 4;
- }
- buf[nibbles] = '\0';
- udbg_puts(buf);
-}
-
-void
-udbg_printSP(const char *s)
-{
- if (systemcfg->platform == PLATFORM_PSERIES) {
- unsigned long sp;
- asm("mr %0,1" : "=r" (sp) :);
- if (s)
- udbg_puts(s);
- udbg_puthex(sp);
- }
-}
-
-void
-udbg_printf(const char *fmt, ...)
+#define UDBG_BUFSIZE 256
+void udbg_printf(const char *fmt, ...)