void my_printf(const char *fmt, ...){ va_list argptr; u32_t *p; va_start(argptr, fmt); p = (u32_t*)argptr; printf(fmt,p[0],p[1],p[2],p[3]); }