36 #include <sys/console.h>
39 printstr(
const char *str)
49 console_putchar(*str++);
54 printuint(uintptr_t u,
int base)
56 static const char digits[] =
"0123456789abcdef";
63 buff[idx++] = digits[u % base];
64 }
while((u /= base) != 0);
66 for (; idx > 0; idx--)
68 console_putchar(buff[idx-1]);
73 printk(
const char *fmt, ...)
80 for (ptr = (
char *)fmt; *ptr !=
'\0'; ptr++)
85 console_putchar(*ptr);
98 tmp = va_arg(args,
int);
101 console_putchar(
'-');
111 printuint((va_arg(args,
unsigned)), 10);
115 printuint((va_arg(args,
unsigned)), 16);
119 console_putchar(
'0');
120 printuint((va_arg(args,
unsigned)), 8);
124 printstr(va_arg(args,
const char *));
128 console_putchar(va_arg(args,
int));
135 printuint((va_arg(args,
unsigned)), 16);
137 printuint((va_arg(args, uintptr_t)), 16);
142 console_putchar(
'%');
143 console_putchar(*ptr);