我自己封装了一个print函数，从串口输出调试信息，代码如下;
/* For debug output */
void  debug_print (char *format, ...)
{
        char  buffer[128u + 1u];
        va_list   vArgs;

        va_start(vArgs, format);
        vsprintf((char *)buffer, (char const *)format, vArgs);
        va_end(vArgs);
        scic_msg((char *) buffer);
}

用这个函数输出0x12345678时，只能输出0x1234, 我怀疑是数据类型的问题，请问在DSP里该如何解决这个问题。 这个函数在非DSP的MCU里使用是没有问题的。可以正常输出0x12345678.