vbin_printf
int vbin_printf(u32 *bin_buf, size_t size, const char *fmt, va_list args);
len = vbin_printf((u32 *)tbuffer, TRACE_BUF_SIZE/sizeof(int), fmt, args);
EXPORT_SYMBOL_GPL(vbin_printf);