vkdb_printf
extern __printf(2, 0) int vkdb_printf(enum kdb_msgsrc src, const char *fmt,
r = vkdb_printf(KDB_MSGSRC_INTERNAL, fmt, ap);
return vkdb_printf(KDB_MSGSRC_PRINTK, fmt, args);