#include <shell_api.h>
#include <stdio.h>

void shell_printf(const char *format,...)
{
    va_list ap;
    va_start (ap, format);
    *__shell_shm=SHELL_PUTS;
    vsnprintf(__shell_shm+1, SHELL_SHM_MAX, format, ap);
    va_end(ap);
    __SHELL_WAIT();
}