void CPUartLogPrintf(const char *format, ...);