tag	line	file	source code
buf_end	145	kernel/printk.c	char *msg, *p, *buf_end;
buf_end	153	kernel/printk.c	buf_end = buf + 3 + i;
buf_end	155	kernel/printk.c	for (p = buf + 3; p < buf_end; p++) {
buf_end	172	kernel/printk.c	for (; p < buf_end; p++) {