devkmsg_emit      805 kernel/printk/printk.c int devkmsg_emit(int facility, int level, const char *fmt, ...)
devkmsg_emit      875 kernel/printk/printk.c 	devkmsg_emit(facility, level, "%s", line);