tag	line	file	source code
prof_buffer	27	init/main.c	extern unsigned long * prof_buffer;
prof_buffer	405	init/main.c	prof_buffer = (unsigned long *) memory_start;
prof_buffer	80	kernel/sched.c	unsigned long * prof_buffer = NULL;
prof_buffer	665	kernel/sched.c	if (prof_buffer && current != task[0]) {
prof_buffer	669	kernel/sched.c	prof_buffer[eip]++;