__dev_printk     3355 drivers/base/core.c 	__dev_printk(level, dev, &vaf);
__dev_printk     3372 drivers/base/core.c 	__dev_printk(kern_level, dev, &vaf);			\