udbg_puts
void udbg_puts(const char *s);
udbg_puts(buf);
udbg_puts(s);
udbg_puts("\n");
udbg_puts("Hello World !\n");