tag	line	file	source code
thread_saved_pc	451	fs/proc/array.c	pc = thread_saved_pc(&p->tss);
thread_saved_pc	1237	kernel/sched.c	printk(" %08lX ", thread_saved_pc(&p->tss));
thread_saved_pc	1242	kernel/sched.c	printk(" %016lx ", thread_saved_pc(&p->tss));