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