tag	line	file	source code
buf_end	152	kernel/printk.c	char *msg, *p, *buf_end;
buf_end	160	kernel/printk.c	buf_end = buf + 3 + i;
buf_end	162	kernel/printk.c	for (p = buf + 3; p < buf_end; p++) {
buf_end	179	kernel/printk.c	for (; p < buf_end; p++) {