KDB_MSGSRC_PRINTK  720 kernel/debug/kdb/kdb_io.c 		if (printk_get_level(kdb_buffer) || src == KDB_MSGSRC_PRINTK)
KDB_MSGSRC_PRINTK 2047 kernel/printk/printk.c 		r = vkdb_printf(KDB_MSGSRC_PRINTK, fmt, args);